Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/msi.c irq_msi_update_msg() -> (struct irq_chip)->irq_write_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->common 4096-ptr_max
PARAM_VALUE 0 data->parent_data 4096-ptr_max
PARAM_VALUE 0 data->parent_data->chip 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->address_hi 0
PARAM_VALUE 1 msg->address_lo 0
PARAM_VALUE 1 msg->arch_addr_hi.destid_8_31 0
PARAM_VALUE 1 msg->arch_addr_hi.reserved 0
PARAM_VALUE 1 msg->arch_addr_lo.base_address 4078
PARAM_VALUE 1 msg->arch_addr_lo.dmar_base_address 0
PARAM_VALUE 1 msg->arch_addr_lo.dmar_format 0
PARAM_VALUE 1 msg->arch_addr_lo.dmar_index_0_14 0
PARAM_VALUE 1 msg->arch_addr_lo.dmar_index_15 0
PARAM_VALUE 1 msg->arch_addr_lo.dmar_reserved_0 0
PARAM_VALUE 1 msg->arch_addr_lo.dmar_subhandle_valid 0
PARAM_VALUE 1 msg->arch_addr_lo.redirect_hint 0
PARAM_VALUE 1 msg->arch_addr_lo.reserved_0 0
PARAM_VALUE 1 msg->arch_addr_lo.reserved_1 0
PARAM_VALUE 1 msg->arch_data.active_low 0
PARAM_VALUE 1 msg->arch_data.delivery_mode 0
PARAM_VALUE 1 msg->arch_data.dest_mode_logical 0
PARAM_VALUE 1 msg->arch_data.dmar_subhandle 0
PARAM_VALUE 1 msg->arch_data.is_level 0
PARAM_VALUE 1 msg->arch_data.reserved 0
PARAM_VALUE 1 msg->data 0
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
BUF_SIZE 1 msg 24
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &vector_lock
HALF_LOCKED2 irq

kernel/irq/msi.c irq_chip_write_msi_msg() -> (struct irq_chip)->irq_write_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
BUF_SIZE 1 msg 24
BUF_SIZE 1 msg 24
DATA_SOURCE 0 data $0
DATA_SOURCE 1 msg $1
CONTAINER 0 -200-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 msg->address_hi 0-u32max
HOST_DATA 1 msg->address_lo 0,2-4294967294