Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/fm10k/fm10k_pf.c fm10k_iov_assign_int_moderator_pf() -> fm10k_vf_vector_index()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 1 vf_idx 0-65534
BUF_SIZE 0 hw (-1),3144
BUF_SIZE 0 hw (-1),3144
CAPPED_DATA 1 vf_idx 1
DATA_SOURCE 0 hw $0
DATA_SOURCE 1 vf_idx $1
PARAM_COMPARE 0 hw->iov.num_vfs > $1
PARAM_COMPARE 1 vf_idx < $0->iov.num_vfs
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 hw->mac.default_vid 0-u16max[c]
HOST_DATA 0 hw->mac.itr_scale 0-255[c]
HOST_DATA 0 hw->mac.max_msix_vectors 0[c]
HOST_DATA 0 hw->mbx.max_size 0-u16max[c]
HOST_DATA 0 hw->mbx.pulled 0-u16max[c]
HOST_DATA 0 hw->mbx.rx.tail 0-u16max[c]
HOST_DATA 0 hw->mbx.tail 0-15
HOST_DATA 0 hw->mbx.tx.buffer 4096-ptr_max[c]
HALF_LOCKED2 &interface->mbx_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 rcu_read

drivers/net/ethernet/intel/fm10k/fm10k_pf.c fm10k_iov_assign_resources_pf() -> fm10k_vf_vector_index()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->iov.num_pools 0-64
PARAM_VALUE 1 vf_idx 0-63,u16max
BUF_SIZE 0 hw 3144
CAPPED_DATA 0 hw->iov.num_vfs 1
CAPPED_DATA 1 vf_idx 1
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/intel/fm10k/fm10k_pf.c fm10k_iov_reset_resources_pf() -> fm10k_vf_vector_index()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
BUF_SIZE 0 hw 3144
CAPPED_DATA 1 vf_idx 1
DATA_SOURCE 0 hw $0
PARAM_COMPARE 0 hw->iov.num_vfs > $1
PARAM_COMPARE 1 vf_idx < $0->iov.num_vfs
RX_PATH
TASK_NOT_RUNNING
UNITS 1 vf_idx unit_array_size
HALF_LOCKED2 &interface->mbx_lock
HALF_LOCKED2 rcu_read