Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/cache.c cache_tag_flush_iotlb() -> qi_batch_add_iotlb()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 2-u64max
PARAM_VALUE 3 size_order 0-52
PARAM_VALUE 4 type 2305843009213693952,3458764513820540928
CAPPED_DATA 3 size_order 1
DATA_SOURCE 3 size_order $3 [m]
FUZZY_MAX 4 type 3458764513820540928
BIT_INFO 0 iommu->ecap 0x2,0xffffffffffffffff
BIT_INFO 4 type 0x2000000000000000,0x3000000000000000
BIT_INFO 4 type 0x2000000000000000,0x3000000000000000
HARD_MAX 4 type 3458764513820540928
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 addr 0-u64max[c]
LOCK2 &domain->cache_lock
LOCK2 flags
TYPE_LOCK (struct dmar_domain)->cache_lock