Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/cisco/enic/enic_pp.c enic_pp_associate() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 0 enic 4096-ptr_max
PARAM_VALUE 1 vf (-1)-65534
PARAM_VALUE 2 err 8057101962387795968
CAPPED_DATA 1 vf 1
DATA_SOURCE 0 enic $0
DATA_SOURCE 1 vf $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 enic->vdev->pdev->dev.cma_area->available_count
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/cisco/enic/enic_pp.c enic_pp_disassociate() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 0 enic 4096-ptr_max
PARAM_VALUE 1 vf (-1)-65534
PARAM_VALUE 2 err 8776480569365864448
CAPPED_DATA 1 vf 1
DATA_SOURCE 0 enic $0
DATA_SOURCE 1 vf $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 enic->vdev->pdev->dev.cma_area->available_count
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/cisco/enic/enic_pp.c enic_pp_preassociate_rr() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 0 enic 4096-ptr_max
PARAM_VALUE 1 vf (-1)-65534
PARAM_VALUE 2 err 5327086627082113024
CAPPED_DATA 1 vf 1
DATA_SOURCE 0 enic $0
DATA_SOURCE 1 vf $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 enic->vdev->pdev->dev.cma_area->available_count
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/cisco/enic/enic_pp.c enic_process_set_pp_request() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 0 enic 4096-ptr_max
PARAM_VALUE 1 vf (-1)-65534
PARAM_VALUE 2 err 8158466307199660032
CAPPED_DATA 1 vf 1
DATA_SOURCE 0 enic $0
DATA_SOURCE 1 vf $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/ethernet/cisco/enic/enic_pp.c enic_set_port_profile() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 0 enic 4096-ptr_max
PARAM_VALUE 1 vf (-1)-65534
PARAM_VALUE 2 err 126818034271059968
CAPPED_DATA 1 vf 1
DATA_SOURCE 0 enic $0
DATA_SOURCE 1 vf $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 enic->vdev->pdev->dev.cma_area->available_count
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/cisco/enic/enic_main.c enic_get_vf_port() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 1 vf (-1)-s32max
PARAM_VALUE 2 err 163776965973786624
CAPPED_DATA 1 vf 1
DATA_SOURCE 1 vf $1
STR_LEN 0 enic (-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &netdev->ethtool->rss_lock
HALF_LOCKED2 &netdev->lock

drivers/net/ethernet/cisco/enic/enic_main.c enic_set_vf_mac() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 1 vf 0-2147483646
PARAM_VALUE 2 err 6058609333970722816
DATA_SOURCE 1 vf $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vf 0-2147483646
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/ethernet/cisco/enic/enic_main.c enic_set_vf_port() -> enic_is_valid_pp_vf()

Type Parameter Key Value
PARAM_VALUE 2 err 7841992853382279168
PARAM_VALUE 2 *err 0
DATA_SOURCE 1 vf $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex