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_main.c enic_set_vf_port() -> enic_process_set_pp_request()

Type Parameter Key Value
PARAM_VALUE 0 enic 4096-ptr_max
PARAM_VALUE 0 enic->devcmd_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 enic->vdev 4096-ptr_max
PARAM_VALUE 0 enic->vdev->devcmd2->color 0-1
PARAM_VALUE 0 enic->vdev->devcmd_rtn 4096-ptr_max
PARAM_VALUE 0 enic->vdev->proxy 0-2
PARAM_VALUE 1 vf (-1)-65534
PARAM_VALUE 2 prev_pp 2156030598190067712
PARAM_VALUE 3 restore_pp 5031329300511457280
PARAM_VALUE 3 *restore_pp 1
CAPPED_DATA 1 vf 1
DATA_SOURCE 1 vf $1
PARAM_COMPARE 0 enic->num_vfs > $1
PARAM_COMPARE 1 vf < $0->num_vfs
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