Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/amd/iommu.c irte_activate() -> modify_irte()

Type Parameter Key Value
PARAM_VALUE 0 irq_iommu 4096-ptr_max
PARAM_VALUE 0 irq_iommu->irte_ops 4096-ptr_max
PARAM_VALUE 3 irte 4096-ptr_max
PARAM_VALUE 3 irte->fields.valid 1
BUF_SIZE 3 irte 4,16
BUF_SIZE 3 irte 4,16
DATA_SOURCE 0 irq_iommu $0
DATA_SOURCE 1 irte_modified $2
DATA_SOURCE 2 index $3
DATA_SOURCE 3 irte $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/amd/iommu.c irte_deactivate() -> modify_irte()

Type Parameter Key Value
PARAM_VALUE 0 irq_iommu 4096-ptr_max
PARAM_VALUE 0 irq_iommu->irte_ops 4096-ptr_max
PARAM_VALUE 3 irte 4096-ptr_max
PARAM_VALUE 3 irte->fields.valid 0
BUF_SIZE 3 irte 4,16
BUF_SIZE 3 irte 4,16
DATA_SOURCE 0 irq_iommu $0
DATA_SOURCE 1 irte_modified $2
DATA_SOURCE 2 index $3
DATA_SOURCE 3 irte $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/amd/iommu.c irte_set_affinity() -> modify_irte()

Type Parameter Key Value
PARAM_VALUE 0 irq_iommu 4096-ptr_max
PARAM_VALUE 0 irq_iommu->irte_ops 4096-ptr_max
PARAM_VALUE 3 irte 4096-ptr_max
BUF_SIZE 3 irte 4,16
BUF_SIZE 3 irte 4,16
DATA_SOURCE 0 irq_iommu $0
DATA_SOURCE 1 irte_modified $2
DATA_SOURCE 2 index $3
DATA_SOURCE 3 irte $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 irq_iommu->acpi_flags 0-255
HOST_DATA 0 irq_iommu->cap 0-u32max
HOST_DATA 0 irq_iommu->cap_ptr 0-u16max
HOST_DATA 0 irq_iommu->cmd_buf_head 0-u32max
HOST_DATA 0 irq_iommu->cmd_buf_tail 0-8191
HOST_DATA 0 irq_iommu->cmd_sem_paddr 0-u64max
HOST_DATA 0 irq_iommu->cmd_sem_val 0-u64max
HOST_DATA 0 irq_iommu->dbg_cap_offset s32min-s32max
HOST_DATA 0 irq_iommu->dbg_mmio_offset s32min-s32max
HOST_DATA 0 irq_iommu->devid 0-u16max
HOST_DATA 0 irq_iommu->features 0-u64max
HOST_DATA 0 irq_iommu->features2 0-u64max
HOST_DATA 0 irq_iommu->flags 0-u32max
HOST_DATA 0 irq_iommu->index s32min-s32max
HOST_DATA 0 irq_iommu->int_enabled 0-1
HOST_DATA 0 irq_iommu->iommu.max_pasids 0-u32max
HOST_DATA 0 irq_iommu->iommu.ready 0-1
HOST_DATA 0 irq_iommu->irtcachedis_enabled 0-1
HOST_DATA 0 irq_iommu->max_banks 0-255
HOST_DATA 0 irq_iommu->max_counters 0-255
HOST_DATA 0 irq_iommu->mmio_phys 0-u64max
HOST_DATA 0 irq_iommu->mmio_phys_end 0-u64max
HOST_DATA 0 irq_iommu->need_sync 1
HOST_DATA 0 irq_iommu->stored_addr_hi 0-u32max
HOST_DATA 0 irq_iommu->stored_addr_lo 0-u32max

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

Type Parameter Key Value
PARAM_VALUE 0 irq_iommu 4096-ptr_max
PARAM_VALUE 1 irte_modified 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 irq_iommu 4096-ptr_max
PARAM_VALUE 1 irte_modified 1457268728406650880
MEM_ZERO 1 irte_modified
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 irq_iommu 4096-ptr_max
PARAM_VALUE 0 irq_iommu->posted_vcpu 1
PARAM_VALUE 1 irte_modified 7985991784706502656
PARAM_VALUE 1 irte_modified->p_pst 1
PARAM_VALUE 1 irte_modified->p_urgent 0
MEM_ZERO 1 irte_modified
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 irq_iommu 4096-ptr_max
PARAM_VALUE 1 irte_modified 9205877935625433088
MEM_ZERO 1 irte_modified
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL