Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/iommu/intel/nested.c intel_nested_cache_invalidate_user() -> cache_tag_flush_range()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 3 ih 0
DATA_SOURCE 0 domain r to_dmar_domain
BIT_INFO 1 start 0x0,0xfffffffffffff000
BIT_INFO 1 start 0x0,0xfffffffffffff000
NOCHECK_CALL
USER_DATA 1 start 0-u64max

drivers/iommu/intel/iommu.c intel_iommu_tlb_sync() -> cache_tag_flush_range()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 1 start 0-18446744073709551614
PARAM_VALUE 2 end 1-u64max
PARAM_VALUE 3 ih 0-1
CAPPED_DATA 1 start 1
CAPPED_DATA 1 start 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 start unit_byte
UNITS 2 end unit_byte
HALF_LOCKED2 &iopt->iova_rwsem

drivers/iommu/intel/cache.c cache_tag_flush_all() -> cache_tag_flush_range()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 1 start 0
PARAM_VALUE 2 end u64max
PARAM_VALUE 3 ih 0
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &srcu

drivers/iommu/intel/svm.c intel_arch_invalidate_secondary_tlbs() -> cache_tag_flush_range()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 3 ih 0
DATA_SOURCE 1 start $2
NOSPEC 1 start
NOSPEC 1 start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 start 0-u64max[c]
LOCK2 global &srcu
HALF_LOCKED2 &mm->context.ldt_usr_sem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock