Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/endpoint/functions/pci-epf-test.c pci_epf_test_unbind() -> pci_epf_test_free_space()

Type Parameter Key Value
PARAM_VALUE 0 epf 4096-ptr_max
PARAM_VALUE 0 epf->driver 4096-ptr_max
PARAM_VALUE 0 epf->driver->ops 4096-ptr_max
PARAM_VALUE 0 epf->driver->owner 0,4096-ptr_max
PARAM_VALUE 0 epf->epc 4096-ptr_max
PARAM_VALUE 0 epf->is_bound 1-u32max
DATA_SOURCE 0 epf $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dir->i_rwsem
HALF_LOCKED2 &epf->lock
HALF_LOCKED2 0 &epf->lock
TYPE_LOCK (struct inode)->i_rwsem
TYPE_LOCK (struct pci_epf)->lock