Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_irq_map_msg() -> i40e_validate_queue_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf->hw.func_caps.num_msix_vectors_vf | 1-u32max |
| PARAM_VALUE | 0 | vf->pf->num_alloc_vsi | 1-u16max |
| CAPPED_DATA | 0 | vf->pf->hw.func_caps.num_msix_vectors_vf | 1 |
| CAPPED_DATA | 0 | vf->pf->num_alloc_vsi | 1 |
| CAPPED_DATA | 0 | vf->vf_id | 1 |
| CAPPED_DATA | 1 | vsi_id | 1 |
| DATA_SOURCE | 0 | vf | $0 |
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_irq_map_msg() -> i40e_validate_queue_map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf->hw.func_caps.num_msix_vectors_vf | 1-u32max |
| PARAM_VALUE | 0 | vf->pf->num_alloc_vsi | 1-u16max |
| CAPPED_DATA | 0 | vf->pf->hw.func_caps.num_msix_vectors_vf | 1 |
| CAPPED_DATA | 0 | vf->pf->num_alloc_vsi | 1 |
| CAPPED_DATA | 0 | vf->vf_id | 1 |
| CAPPED_DATA | 1 | vsi_id | 1 |
| DATA_SOURCE | 0 | vf | $0 |
| HALF_LOCKED2 | &pool->lock |