Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/hyperv/rndis_filter.c rndis_filter_receive() -> dump_rndis_message()

Type Parameter Key Value
PARAM_VALUE 1 rndis_msg 4096-ptr_max
PARAM_VALUE 1 rndis_msg->msg_len 8-u32max
PARAM_VALUE 2 data 4096-ptr_max
PARAM_VALUE 2 *data 0-255
BUF_SIZE 0 netdev s32min-(-2),1-s32max
BUF_SIZE 0 netdev s32min-(-2),1-s32max
BUF_SIZE 1 rndis_msg 68-s32max
BUF_SIZE 1 rndis_msg 68-s32max
CAPPED_DATA 1 rndis_msg->msg_len 1
DATA_SOURCE 0 netdev $0
DATA_SOURCE 2 data $3
FUZZY_MAX 1 rndis_msg->msg_len 8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 netdev unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read