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/i40e/i40e_adminq.c i40e_asq_send_command_atomic_exec() -> i40e_debug_aq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->aq.asq.count | 1-u16max |
| PARAM_VALUE | 0 | hw->aq.asq_last_status | 0 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hw->aq.num_asq_entries | 1-u16max |
| PARAM_VALUE | 1 | mask | 100663296 |
| PARAM_VALUE | 2 | desc | 4096-ptr_max |
| BUF_SIZE | 0 | hw->pba_id | (-1),3-131071 |
| BUF_SIZE | 3 | buffer | (-1)-s32max |
| BUF_SIZE | 3 | buffer | (-1)-s32max |
| CAPPED_DATA | 4 | buf_len | 1 |
| DATA_SOURCE | 0 | hw | $0 |
| DATA_SOURCE | 3 | buffer | $2 |
| DATA_SOURCE | 4 | buf_len | $3 |
| PARAM_COMPARE | 4 | buf_len | <= $0->aq.asq_buf_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hw->aq.arq.next_to_use | 0-1023 |
| HOST_DATA | 0 | hw->dcbx_status | 0,3-6,8-u16max[c] |
| HOST_DATA | 0 | hw->nvm.eetrack | 0-u32max |
| HOST_DATA | 0 | hw->nvm.hw_semaphore_timeout | 0-4299262262295[c] |
| HOST_DATA | 0 | hw->nvm.oem_ver | 0-u32max |
| HOST_DATA | 0 | hw->nvm.version | 0-u16max |
| HOST_DATA | 4 | buf_len | 2-4096[c] |
| USER_DATA | 4 | buf_len | 0-u16max[c] |
| NO_OVERFLOW_SIMPLE | 0 | hw->aq.arq.desc_buf.size | |
| NO_OVERFLOW_SIMPLE | 0 | hw->aq.asq.desc_buf.size | |
| UNITS | 3 | buffer | unit_byte |
| UNITS | 4 | buf_len | unit_byte |
| BYTE_COUNT | 3 | ==buffer4 | 8050 |
| USER_PTR | 0 | hw->nvm_buff.va | |
| USER_PTR | 2 | desc | |
| USER_PTR | 3 | buffer | |
| LOCK2 | 0 | &hw->aq.asq_mutex | |
| HALF_LOCKED2 | 0 | &hw->aq.arq_mutex | |
| TYPE_LOCK | (struct i40e_adminq_info)->asq_mutex |
drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_asq_send_command_atomic_exec() -> i40e_debug_aq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->aq.asq.count | 1-u16max |
| PARAM_VALUE | 0 | hw->aq.asq_last_status | 0-255 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | hw->aq.asq_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hw->aq.num_asq_entries | 1-u16max |
| PARAM_VALUE | 1 | mask | 100663296 |
| PARAM_VALUE | 2 | desc | 4096-ptr_max |
| BUF_SIZE | 0 | hw->pba_id | (-1),3-131071 |
| BUF_SIZE | 2 | desc | (-1)-s32max |
| BUF_SIZE | 2 | desc | (-1)-s32max |
| BUF_SIZE | 3 | buffer | (-1)-s32max |
| BUF_SIZE | 3 | buffer | (-1)-s32max |
| CAPPED_DATA | 0 | hw->aq.asq.count | 1 |
| CAPPED_DATA | 4 | buf_len | 1 |
| DATA_SOURCE | 0 | hw | $0 |
| DATA_SOURCE | 2 | desc | $1 |
| DATA_SOURCE | 3 | buffer | $2 |
| DATA_SOURCE | 4 | buf_len | $3 |
| FUZZY_MAX | 0 | hw->aq.asq_last_status | 0 |
| PARAM_COMPARE | 0 | hw->aq.asq.count | > $0->aq.asq.next_to_use |
| PARAM_COMPARE | 4 | buf_len | <= $0->aq.asq_buf_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hw->aq.arq.next_to_use | 0-1023 |
| HOST_DATA | 0 | hw->dcbx_status | 0,3-6,8-u16max[c] |
| HOST_DATA | 0 | hw->nvm.eetrack | 0-u32max |
| HOST_DATA | 0 | hw->nvm.hw_semaphore_timeout | 0-4299262262295[c] |
| HOST_DATA | 0 | hw->nvm.oem_ver | 0-u32max |
| HOST_DATA | 0 | hw->nvm.version | 0-u16max |
| HOST_DATA | 4 | buf_len | 2-4096[c] |
| USER_DATA | 0 | hw->aq.asq_last_status | 0-11,13-255[c][u] |
| USER_DATA | 4 | buf_len | 0-u16max[c] |
| NO_OVERFLOW_SIMPLE | 0 | hw->aq.arq.desc_buf.size | |
| NO_OVERFLOW_SIMPLE | 0 | hw->aq.asq.desc_buf.size | |
| UNITS | 3 | buffer | unit_byte |
| UNITS | 4 | buf_len | unit_byte |
| USER_PTR | 0 | hw->nvm_buff.va | |
| USER_PTR | 2 | desc | |
| USER_PTR | 3 | buffer | |
| LOCK2 | 0 | &hw->aq.asq_mutex | |
| HALF_LOCKED2 | 0 | &hw->aq.arq_mutex | |
| TYPE_LOCK | (struct i40e_adminq_info)->asq_mutex |
drivers/net/ethernet/intel/i40e/i40e_adminq.c i40e_clean_arq_element() -> i40e_debug_aq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->aq.arq.count | 1-u16max |
| PARAM_VALUE | 0 | hw->aq.arq_last_status | 0-u16max |
| 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 | 1 | mask | 100663296 |
| PARAM_VALUE | 2 | desc | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| BUF_SIZE | 0 | hw | 1904 |
| BUF_SIZE | 3 | buffer | 4096 |
| CAPPED_DATA | 0 | &hw->aq.arq_mutex | 1 |
| DATA_SOURCE | 0 | hw | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hw->aq.arq.next_to_use | 0-1023 |
| LOCK2 | 0 | &hw->aq.arq_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct i40e_adminq_info)->arq_mutex |