Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_config_rdma_qvlist() -> i40e_vc_isvalid_vector_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf | 4096-ptr_max |
| BUF_SIZE | 0 | vf->qvlist_info | 0-u64max |
| CAPPED_DATA | 0 | vf->qvlist_info->num_vectors | 1 |
| DATA_SOURCE | 0 | vf | $0 |
| NO_OVERFLOW_SIMPLE | 0 | vf->qvlist_info->num_vectors | |
| LOCK2 | &pool->lock |
drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_irq_map_msg() -> i40e_vc_isvalid_vector_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vf | 4096-ptr_max |
| PARAM_VALUE | 0 | vf->pf | 4096-ptr_max |
| DATA_SOURCE | 0 | vf | $0 |
| HALF_LOCKED2 | &pool->lock |