Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/intel/nested.c intel_nested_set_dev_pasid() -> context_copied()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 bus unit_byte
HALF_LOCKED2 &group->mutex
HALF_LOCKED2 &igroup->lock
HALF_LOCKED2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
DATA_SOURCE 1 bus $1
DATA_SOURCE 2 devfn $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bus 0-255[c]
HOST_DATA 2 devfn 0-255[c]
UNITS 1 bus unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 bus $2
DATA_SOURCE 2 devfn $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bus 0-255[c]
HOST_DATA 2 devfn 0-255[c]
UNITS 1 bus unit_byte
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
DATA_SOURCE 0 iommu $1
DATA_SOURCE 1 bus $2
DATA_SOURCE 2 devfn $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bus 0-255[c]
HOST_DATA 2 devfn 0-255[c]
UNITS 1 bus unit_byte
LOCK2 0 &iommu->lock
HALF_LOCKED2 &group->mutex
TYPE_LOCK (struct intel_iommu)->lock

drivers/iommu/intel/iommu.c intel_iommu_probe_device() -> context_copied()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
DATA_SOURCE 0 iommu r device_lookup_iommu
RX_PATH
TASK_NOT_RUNNING
UNITS 1 bus unit_byte
LOCK2 global &iommu_probe_device_lock

drivers/iommu/intel/iommu.c intel_iommu_release_device() -> context_copied()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
CAPPED_DATA 0 &iommu->iopf_lock 1
RX_PATH
TASK_NOT_RUNNING
UNITS 1 bus unit_byte
LOCK2 &group->mutex
HALF_LOCKED2 global &iommu_probe_device_lock
TYPE_LOCK (struct iommu_group)->mutex

drivers/iommu/intel/iommu.c intel_iommu_set_dev_pasid() -> context_copied()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 bus unit_byte
HALF_LOCKED2 &group->mutex
HALF_LOCKED2 &igroup->lock
HALF_LOCKED2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
DATA_SOURCE 0 iommu $0
DATA_SOURCE 1 bus $1
DATA_SOURCE 2 devfn $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bus 0-255
HOST_DATA 2 devfn 0-255
NO_OVERFLOW_SIMPLE 0 iommu->iopf_queue->wq->rescuer->task->dl.pi_se->dl_runtime
UNITS 1 bus unit_byte
HALF_LOCKED2 &m->lock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &iommu->lock

drivers/iommu/intel/iommu.c paging_domain_compatible() -> context_copied()

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 bus unit_byte
HALF_LOCKED2 &group->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
DATA_SOURCE 1 bus $1
DATA_SOURCE 2 devfn $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bus 0-255[c]
HOST_DATA 2 devfn 0-255[c]
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 iommu 4096-ptr_max
DATA_SOURCE 1 bus $1
DATA_SOURCE 2 devfn $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 bus 0-255[c]
HOST_DATA 2 devfn 0-255[c]
LOCK2 0 &iommu->lock
TYPE_LOCK (struct intel_iommu)->lock