Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_nvm.c i40e_nvmupd_command() -> i40e_nvmupd_state_init()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->aq.arq_mutex.dep_map->name 0-255
PARAM_VALUE 0 hw->aq.arq_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hw->aq.arq_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hw->aq.arq_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 hw->aq.arq_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hw->aq.arq_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 hw->aq.arq_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hw->nvmupd_state 0
PARAM_VALUE 1 cmd 923116890024517632,1288508930684854272,6609599417395372032
PARAM_VALUE 1 cmd->data_size 1-65566
PARAM_VALUE 2 bytes 16,4096-ptr_max
PARAM_VALUE 3 perrno 2729874776007352320,8470340726873378816
PARAM_VALUE 3 *perrno (-14),0
BUF_SIZE 0 hw 1904
BUF_SIZE 2 bytes 0-s32max
BUF_SIZE 2 bytes 0-s32max
CAPPED_DATA 0 hw->device_id 1
CAPPED_DATA 0 &hw->aq.arq_mutex 1
DATA_SOURCE 0 hw $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 bytes $2
DATA_SOURCE 3 perrno $3
FUZZY_MAX 3 *perrno 0
BIT_INFO 3 *perrno 0x0,0xfffffff2
HARD_MAX 3 *perrno 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *bytes 0-255
USER_PTR 2 bytes
LOCK2 0 &hw->aq.arq_mutex
TYPE_LOCK (struct i40e_adminq_info)->arq_mutex