Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/tsm.c __free_tsm_remove() -> tsm_remove()

Type Parameter Key Value
PARAM_VALUE 0 tsm 1-u64max
BIT_INFO 0 tsm 0x0,0x7fffffffffffffff
BIT_INFO 0 tsm 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/pci/tsm.c pci_tsm_disconnect() -> tsm_remove()

Type Parameter Key Value
PARAM_VALUE 0 tsm 4096-ptr_max
PARAM_VALUE 0 tsm->dsm_dev 0,4096-ptr_max
PARAM_VALUE 0 tsm->dsm_dev->pcie_cap 0-1
PARAM_VALUE 0 tsm->tdi 0
PARAM_VALUE 0 tsm->tsm_dev 4096-ptr_max
PARAM_VALUE 0 tsm->tsm_dev->pci_ops 4096-ptr_max
PARAM_VALUE 0 tsm->tsm_dev->pci_ops->disconnect 4096-ptr_max
CAPPED_DATA 0 tsm->dsm_dev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/pci/tsm.c pci_tsm_fn_exit() -> tsm_remove()

Type Parameter Key Value
PARAM_VALUE 0 tsm 4096-ptr_max
PARAM_VALUE 0 tsm->dsm_dev 0,4096-ptr_max
PARAM_VALUE 0 tsm->dsm_dev->pcie_cap 0-1
PARAM_VALUE 0 tsm->tdi 0
PARAM_VALUE 0 tsm->tsm_dev 4096-ptr_max
CAPPED_DATA 0 tsm->dsm_dev 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

drivers/pci/tsm.c remove_fn() -> tsm_remove()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL