Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/hyperv/netvsc.c netvsc_process_raw_pkt() -> hv_pkt_data()

Type Parameter Key Value
PARAM_VALUE 0 desc 1-u64max
BUF_SIZE 0 desc (-1),1-s32max
BUF_SIZE 0 desc (-1),1-s32max
DATA_SOURCE 0 desc $4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/hyperv/netvsc.c netvsc_receive() -> hv_pkt_data()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
BUF_SIZE 0 desc (-1),1-s32max
BUF_SIZE 0 desc (-1),1-s32max
DATA_SOURCE 0 desc $3

drivers/net/hyperv/netvsc.c netvsc_receive_inband() -> hv_pkt_data()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
BUF_SIZE 0 desc (-1),1-s32max
BUF_SIZE 0 desc (-1),1-s32max
DATA_SOURCE 0 desc $2

drivers/net/hyperv/netvsc.c netvsc_send_completion() -> hv_pkt_data()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
BUF_SIZE 0 desc (-1),1-s32max
BUF_SIZE 0 desc (-1),1-s32max
DATA_SOURCE 0 desc $3

drivers/scsi/storvsc_drv.c storvsc_on_channel_callback() -> hv_pkt_data()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->offset8 0-u16max
BUF_SIZE 0 desc 1-s32max
BUF_SIZE 0 desc 1-s32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &channel->sched_lock
HALF_LOCKED2 rcu_read