Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/hyperv/netvsc_drv.c netvsc_xmit() -> init_ppi_data()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 ppi_size 16
PARAM_VALUE 2 pkt_type 8
BUF_SIZE 0 msg 1-4000000
BUF_SIZE 0 msg 1-4000000
BIT_INFO 0 msg->msg.pkt 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msg->msg_len 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 msg->msg_len
UNITS 0 msg unit_byte
UNITS 1 ppi_size unit_byte
HALF_LOCKED2 rcu_read

drivers/net/hyperv/netvsc_drv.c netvsc_xmit() -> init_ppi_data()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 ppi_size 16
PARAM_VALUE 2 pkt_type 6
BUF_SIZE 0 msg 1-4000000
BUF_SIZE 0 msg 1-4000000
BIT_INFO 0 msg->msg.pkt 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msg->msg.pkt.data_len 0-u32max[c]
HOST_DATA 0 msg->msg_len 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 msg->msg.pkt.data_len
NO_OVERFLOW_SIMPLE 0 msg->msg_len
UNITS 0 msg unit_byte
UNITS 1 ppi_size unit_byte
HALF_LOCKED2 rcu_read

drivers/net/hyperv/netvsc_drv.c netvsc_xmit() -> init_ppi_data()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 ppi_size 16
PARAM_VALUE 2 pkt_type 2
BUF_SIZE 0 msg 1-4000000
BUF_SIZE 0 msg 1-4000000
BIT_INFO 0 msg->msg.pkt 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msg->msg.pkt.data_len 0-u32max[c]
HOST_DATA 0 msg->msg_len 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 msg->msg.pkt.data_len
NO_OVERFLOW_SIMPLE 0 msg->msg_len
UNITS 0 msg unit_byte
UNITS 1 ppi_size unit_byte
HALF_LOCKED2 rcu_read

drivers/net/hyperv/netvsc_drv.c netvsc_xmit() -> init_ppi_data()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 ppi_size 16
PARAM_VALUE 2 pkt_type 0
BUF_SIZE 0 msg 1-4000000
BUF_SIZE 0 msg 1-4000000
BIT_INFO 0 msg->msg.pkt 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 msg->msg.pkt.data_len 0-u32max[c]
HOST_DATA 0 msg->msg_len 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 msg->msg.pkt.data_len
NO_OVERFLOW_SIMPLE 0 msg->msg_len
UNITS 0 msg unit_byte
UNITS 1 ppi_size unit_byte
HALF_LOCKED2 rcu_read