Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/amd/iommu.c irq_remapping_prepare_irte() -> fill_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &domain->root->mutex

drivers/iommu/intel/irq_remapping.c intel_irq_remapping_prepare_irte() -> fill_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 index 0-s32max
DATA_SOURCE 1 index $3
DATA_SOURCE 2 subhandle $4 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 subhandle
UNITS 2 subhandle unit_array_size
HALF_LOCKED2 &domain->root->mutex