Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/ice/ice_sriov.c ice_free_vf_entries() -> ice_deinitialize_vf_entry()

Type Parameter Key Value
PARAM_VALUE 0 vf 4096-ptr_max
PARAM_VALUE 0 vf->entry->next->pprev 1-u64max
PARAM_VALUE 0 vf->entry.next->pprev 1-u64max
PARAM_VALUE 0 vf->entry.pprev 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pf->vfs.table_lock
HALF_LOCKED2 &vfs->table_lock
HALF_LOCKED2 global &pci_rescan_remove_lock
TYPE_LOCK (struct ice_vfs)->table_lock