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_lan_hmc.c i40e_create_lan_hmc_object() -> i40e_remove_pd_bp()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->hmc.hmc_obj 4096-ptr_max
PARAM_VALUE 1 hmc_info 4096-ptr_max
PARAM_VALUE 1 hmc_info->hmc_obj 4096-ptr_max
PARAM_VALUE 1 hmc_info->sd_table.sd_cnt 1-u32max
PARAM_VALUE 1 hmc_info->sd_table.sd_entry 4096-ptr_max
PARAM_VALUE 1 hmc_info->signature 1213027143
CAPPED_DATA 1 hmc_info->sd_table.sd_cnt 1
DATA_SOURCE 0 hw $0
NOCHECK_CALL

drivers/net/ethernet/intel/i40e/i40e_lan_hmc.c i40e_create_lan_hmc_object() -> i40e_remove_pd_bp()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->hmc.hmc_obj 4096-ptr_max
PARAM_VALUE 1 hmc_info 4096-ptr_max
PARAM_VALUE 1 hmc_info->hmc_obj 4096-ptr_max
PARAM_VALUE 1 hmc_info->sd_table.sd_cnt 1-u32max
PARAM_VALUE 1 hmc_info->sd_table.sd_entry 4096-ptr_max
PARAM_VALUE 1 hmc_info->signature 1213027143
PARAM_VALUE 2 idx 0-4294967294
CAPPED_DATA 1 hmc_info->sd_table.sd_cnt 1
CAPPED_DATA 2 idx 1
DATA_SOURCE 0 hw $0
NOCHECK_CALL

drivers/net/ethernet/intel/i40e/i40e_lan_hmc.c i40e_delete_lan_hmc_object() -> i40e_remove_pd_bp()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->hmc.hmc_obj 1-u64max
PARAM_VALUE 1 hmc_info 4096-ptr_max
PARAM_VALUE 1 hmc_info->hmc_obj 4096-ptr_max
PARAM_VALUE 1 hmc_info->sd_table.sd_entry 4096-ptr_max
PARAM_VALUE 1 hmc_info->signature 1213027143
PARAM_VALUE 2 idx 0-4294967294
BUF_SIZE 0 hw 1904
CAPPED_DATA 2 idx 1
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
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
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rtnl_mutex