Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/igb/igb_main.c igb_rcv_msg_from_vf() -> igb_read_mbx()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->hw_addr 0,4096-ptr_max
PARAM_VALUE 0 hw->mbx.ops.check_for_msg 1-u64max
PARAM_VALUE 1 msg 946027611296305152
PARAM_VALUE 2 size 16
PARAM_VALUE 4 unlock 0
BUF_SIZE 0 hw 1200
BUF_SIZE 1 msg 64
CAPPED_DATA 3 mbx_id 1
DATA_SOURCE 3 mbx_id $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 3 mbx_id unit_array_size
LOCK2 &adapter->vfs_lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct igb_adapter)->vfs_lock