Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/intel/iommu.c copied_context_tear_down() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/iommu.c copied_context_tear_down() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
CAPPED_DATA 0 iommu->max_domain_id 1
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/iommu.c copy_context_table() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
PARAM_VALUE 2 size 4096
BUF_SIZE 0 iommu->copied_tables 8192
DATA_SOURCE 0 iommu $0
MEM_ZERO 0 iommu->copied_tables
NOCHECK_CALL
LOCK2 global &dmar_global_lock

drivers/iommu/intel/iommu.c copy_context_table() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 addr 0,18379471554275704832,18446612682070032384
PARAM_VALUE 2 size 4096
BUF_SIZE 0 iommu->copied_tables 8192
DATA_SOURCE 0 iommu $0
MEM_ZERO 0 iommu->copied_tables
NOCHECK_CALL
LOCK2 global &dmar_global_lock

drivers/iommu/intel/iommu.c copy_translation_tables() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
PARAM_VALUE 2 size 4096
BUF_SIZE 0 iommu->copied_tables 8192
DATA_SOURCE 0 iommu $0
MEM_ZERO 0 iommu->copied_tables
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 global &dmar_global_lock

drivers/iommu/intel/iommu.c domain_context_clear_one() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 1 addr r iommu_context_addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/iommu.c domain_context_clear_one() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 1 addr r iommu_context_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte

drivers/iommu/intel/iommu.c iommu_alloc_root_entry() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
PARAM_VALUE 2 size 4096
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 addr r iommu_alloc_pages_node_sz
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &dmar_global_lock

drivers/iommu/intel/iommu.c iommu_context_addr() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
PARAM_VALUE 2 size 4096
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 addr r iommu_alloc_pages_node_sz
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 iommu->iopf_queue->wq->rescuer->task->dl.pi_se->dl_runtime
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/iommu.c iommu_context_addr() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 8
BUF_SIZE 1 addr 8
DATA_SOURCE 0 iommu $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 iommu->iopf_queue->wq->rescuer->task->dl.pi_se->dl_runtime
UNITS 2 size unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/irq_remapping.c iommu_load_old_irte() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 addr 18379471554275704832,18446612682070032384
PARAM_VALUE 2 size 1048576
BUF_SIZE 0 iommu->ir_domain 376-s32max
BUF_SIZE 0 iommu->ir_domain->msi_parent_ops 40
BUF_SIZE 0 iommu->ir_table 16
CAPPED_DATA 0 iommu 1
CAPPED_DATA 0 iommu->ir_domain->hwirq_max 1
DATA_SOURCE 0 iommu $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &dmar_global_lock

drivers/iommu/intel/irq_remapping.c modify_irte() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 iommu unit_byte
UNITS 2 size unit_byte
LOCK2 flags
LOCK2 global &irq_2_ir_lock

drivers/iommu/intel/pasid.c context_entry_set_pasid_table() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 1 addr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 &iommu->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &iommu_probe_device_lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/pasid.c device_pasid_table_setup() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 1 addr r iommu_context_addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/pasid.c device_pasid_table_setup() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 1 addr r iommu_context_addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/pasid.c device_pasid_table_teardown() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 1 addr r iommu_context_addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 0 &iommu->lock
HALF_LOCKED2 &group->mutex
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/pasid.c device_pasid_table_teardown() -> __iommu_flush_cache()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
PARAM_VALUE 0 iommu->ecap 1-u64max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 2 size 16
DATA_SOURCE 1 addr r iommu_context_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 size unit_byte
HALF_LOCKED2 &group->mutex