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_vf_promiscuous_mode() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
PARAM_VALUE 0 vf->pf 4096-ptr_max
BUF_SIZE 0 vf (-1),200-13107000
BUF_SIZE 0 vf (-1),200-13107000
CAPPED_DATA 0 vf 1
DATA_SOURCE 0 vf $0
DATA_SOURCE 1 vsi_id $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vf->port_vlan_id 0-u16max
USER_DATA 0 vf->trusted 0-1
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_config_vsi_tx_queue() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
PARAM_VALUE 0 vf->pf 4096-ptr_max
PARAM_VALUE 0 vf->pf->num_alloc_vsi 1-u16max
CAPPED_DATA 0 vf->pf->num_alloc_vsi 1
CAPPED_DATA 0 vf->vf_id 1
DATA_SOURCE 0 vf $0
LOCK2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_add_mac_addr_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_add_vlan_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
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_vc_isvalid_vsi_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->hw.func_caps.num_msix_vectors_vf 1
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_promiscuous_mode_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_queues_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_rss_key() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_config_rss_lut() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_del_mac_addr_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_disable_queues_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_enable_queues_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_get_stats_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/intel/i40e/i40e_virtchnl_pf.c i40e_vc_remove_vlan_msg() -> i40e_vc_isvalid_vsi_id()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
DATA_SOURCE 0 vf $0
HALF_LOCKED2 &pool->lock