Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iova.c __iova_rcache_get() -> iova_magazine_empty()

Type Parameter Key Value
PARAM_VALUE 0 mag 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cpu_rcache->lock
LOCK2 flags
TYPE_LOCK (struct iova_cpu_rcache)->lock

drivers/iommu/iova.c __iova_rcache_get() -> iova_magazine_empty()

Type Parameter Key Value
PARAM_VALUE 0 mag 1-u64max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cpu_rcache->lock
LOCK2 flags
TYPE_LOCK (struct iova_cpu_rcache)->lock