Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/irq_remapping.c set_hpet_sid() -> set_irte_sid()

Type Parameter Key Value
PARAM_VALUE 0 irte 4096-ptr_max
PARAM_VALUE 0 irte->sid 0
PARAM_VALUE 0 irte->sq 0
PARAM_VALUE 0 irte->svt 0
PARAM_VALUE 1 svt 1
PARAM_VALUE 2 sq 3
PARAM_VALUE 3 sid 1-u16max
BUF_SIZE 0 irte 16
DATA_SOURCE 0 irte $0
MEM_ZERO 0 irte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &domain->root->mutex

drivers/iommu/intel/irq_remapping.c set_ioapic_sid() -> set_irte_sid()

Type Parameter Key Value
PARAM_VALUE 0 irte 4096-ptr_max
PARAM_VALUE 0 irte->sid 0
PARAM_VALUE 0 irte->sq 0
PARAM_VALUE 0 irte->svt 0
PARAM_VALUE 1 svt 1
PARAM_VALUE 2 sq 0
PARAM_VALUE 3 sid 1-u16max
BUF_SIZE 0 irte 16
DATA_SOURCE 0 irte $0
MEM_ZERO 0 irte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &domain->root->mutex

drivers/iommu/intel/irq_remapping.c set_irte_verify_bus() -> set_irte_sid()

Type Parameter Key Value
PARAM_VALUE 0 irte 4096-ptr_max
PARAM_VALUE 0 irte->sid 0
PARAM_VALUE 0 irte->sq 0
PARAM_VALUE 0 irte->svt 0
PARAM_VALUE 1 svt 2
PARAM_VALUE 2 sq 0
BUF_SIZE 0 irte 16
DATA_SOURCE 0 irte $0
MEM_ZERO 0 irte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &domain->root->mutex

drivers/iommu/intel/irq_remapping.c set_msi_sid() -> set_irte_sid()

Type Parameter Key Value
PARAM_VALUE 0 irte 4096-ptr_max
PARAM_VALUE 0 irte->sid 0
PARAM_VALUE 0 irte->sq 0
PARAM_VALUE 0 irte->svt 0
PARAM_VALUE 1 svt 1
PARAM_VALUE 2 sq 0
BUF_SIZE 0 irte 16
DATA_SOURCE 0 irte $0
MEM_ZERO 0 irte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &domain->root->mutex

drivers/iommu/intel/irq_remapping.c set_msi_sid() -> set_irte_sid()

Type Parameter Key Value
PARAM_VALUE 0 irte 4096-ptr_max
PARAM_VALUE 0 irte->sid 0
PARAM_VALUE 0 irte->sq 0
PARAM_VALUE 0 irte->svt 0
PARAM_VALUE 1 svt 1
PARAM_VALUE 2 sq 0
PARAM_VALUE 3 sid 0-u16max
BUF_SIZE 0 irte 16
DATA_SOURCE 0 irte $0
MEM_ZERO 0 irte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &domain->root->mutex