Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/iommu/iommufd/selftest.c iommufd_test_exit() -> iopf_queue_free()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
NOCHECK_CALL

drivers/iommu/intel/prq.c intel_iommu_enable_prq() -> iopf_queue_free()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->devices.next 4096-ptr_max
PARAM_VALUE 0 queue->devices.prev 4096-ptr_max
PARAM_VALUE 0 queue->lock.first_waiter 0
PARAM_VALUE 0 queue->lock.magic 4096-ptr_max
PARAM_VALUE 0 queue->lock.osq.tail.counter 0
PARAM_VALUE 0 queue->lock.owner.counter 0
PARAM_VALUE 0 queue->wq 4096-ptr_max
BUF_SIZE 0 queue 176
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/intel/prq.c intel_iommu_finish_prq() -> iopf_queue_free()

Type Parameter Key Value
PARAM_VALUE 0 queue 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &dmar_global_lock

drivers/iommu/amd/ppr.c amd_iommu_iopf_uninit() -> iopf_queue_free()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq