Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/intel/iommu.c dmar_fault_dump_ptes() -> get_pasid_table_from_pde()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/iommu/intel/debugfs.c domain_translation_struct_show() -> get_pasid_table_from_pde()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &iommu->lock
LOCK2 &m->lock
LOCK2 rcu_read
TYPE_LOCK (struct intel_iommu)->lock
TYPE_LOCK (struct seq_file)->lock

drivers/iommu/intel/debugfs.c pasid_dir_walk() -> get_pasid_table_from_pde()

Type Parameter Key Value
PARAM_VALUE 0 pde 18379471554275704832-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &iommu->lock
LOCK2 &m->lock
LOCK2 rcu_read
TYPE_LOCK (struct intel_iommu)->lock
TYPE_LOCK (struct seq_file)->lock

drivers/iommu/intel/pasid.c intel_pasid_free_table() -> get_pasid_table_from_pde()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &iommu_probe_device_lock

drivers/iommu/intel/pasid.c intel_pasid_get_entry() -> get_pasid_table_from_pde()

Type Parameter Key Value
PARAM_VALUE 0 pde 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dmar_domain->lock
HALF_LOCKED2 &iommu->lock
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 irq