Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_validate_queue_map() -> i40e_vc_isvalid_queue_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf | 4096-ptr_max |
| PARAM_VALUE | 2 | qid | 0-15 |
| 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 | 2 | qid | 1 |
| DATA_SOURCE | 0 | vf | $0 |
| DATA_SOURCE | 1 | vsi_id | $1 [m] |
| LOCK2 | &pool->lock |
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_queues_msg() -> i40e_vc_isvalid_queue_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf | 4096-ptr_max |
| 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 |
| UNITS | 2 | qid | unit_array_size |
| HALF_LOCKED2 | &pool->lock |