Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/intel/iommu.c context_setup_pass_through() -> context_clear_entry()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
DATA_SOURCE 0 context r iommu_context_addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->lo 0,2-u64max
DATA_SOURCE 0 context $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->lo 0,2-u64max
DATA_SOURCE 0 context r iommu_context_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/intel/iommu.c domain_context_mapping_one() -> context_clear_entry()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
DATA_SOURCE 0 context r iommu_context_addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &iommu->lock
HALF_LOCKED2 &group->mutex
TYPE_LOCK (struct intel_iommu)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
DATA_SOURCE 0 context $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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() -> context_clear_entry()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->lo 0,2-u64max
DATA_SOURCE 0 context r iommu_context_addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->lo 0,2-u64max
DATA_SOURCE 0 context r iommu_context_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &group->mutex