Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_main.c i40e_init_recovery_mode() -> i40e_vsi_mem_alloc()

Type Parameter Key Value
PARAM_VALUE 0 pf 4096-ptr_max
PARAM_VALUE 0 pf->alloc_rss_size 1
PARAM_VALUE 0 pf->flags 4096-ptr_max
PARAM_VALUE 0 pf->irq_pile 4096-ptr_max
PARAM_VALUE 0 pf->msix_entries 0,16,4096-ptr_max
PARAM_VALUE 0 pf->num_fdsb_msix 0-1
PARAM_VALUE 0 pf->num_vmdq_qps 0-1
PARAM_VALUE 0 pf->pdev 4096-ptr_max
PARAM_VALUE 0 pf->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 pf->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pf->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 pf->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 pf->pdev->msi_enabled 1
PARAM_VALUE 0 pf->pdev->state_saved 1
PARAM_VALUE 0 pf->service_timer.entry.pprev 0
PARAM_VALUE 0 pf->service_timer.flags 0-4194302
PARAM_VALUE 0 pf->service_timer.lockdep_map->name 0-255
PARAM_VALUE 0 pf->service_timer_period 250
PARAM_VALUE 0 pf->state 4096-ptr_max
PARAM_VALUE 0 pf->vsi 16,4096-ptr_max
PARAM_VALUE 0 *pf->irq_pile->list 32768-u16max
PARAM_VALUE 1 type 0
BUF_SIZE 0 pf->vsi 0-524280
DATA_SOURCE 0 pf $0
NO_OVERFLOW_SIMPLE 0 pf->num_alloc_vsi