Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kernel/apic/io_apic.c ioapic_setup_msg_from_msi() -> irq_chip_compose_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->parent_data 0,4096-ptr_max
PARAM_VALUE 1 msg 6794605574595227648
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
DATA_SOURCE 0 data $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ioapic_lock
LOCK2 irq

kernel/irq/msi.c msi_domain_activate() -> irq_chip_compose_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->domain 4096-ptr_max
PARAM_VALUE 0 data->domain->ops 4096-ptr_max
PARAM_VALUE 0 data->domain->ops->activate 1-u64max
PARAM_VALUE 0 data->parent_data 0,4096-ptr_max
PARAM_VALUE 0 data->parent_data->chip_data 0,4096-ptr_max
PARAM_VALUE 0 data->parent_data->chip_data->entry->fields.destination 0-255
PARAM_VALUE 0 data->parent_data->chip_data->entry->fields.valid 1
PARAM_VALUE 0 data->parent_data->chip_data->entry->fields.vector 0-255
PARAM_VALUE 0 data->parent_data->chip_data->entry->hi.fields.destination 0-255
PARAM_VALUE 0 data->parent_data->chip_data->entry->hi.fields.vector 0-255
PARAM_VALUE 0 data->parent_data->chip_data->entry->lo.fields_remap.destination 0-16777215
PARAM_VALUE 0 data->parent_data->chip_data->entry->lo.fields_remap.valid 1
PARAM_VALUE 0 data->parent_data->chip_data->iommu->lock.dep_map->name 0-255
PARAM_VALUE 0 data->parent_data->chip_data->irq_2_iommu.iommu->qi->free_cnt s32min-s32max
PARAM_VALUE 0 data->parent_data->chip_data->irq_2_iommu.iommu->qi->free_head s32min-s32max
PARAM_VALUE 0 data->parent_data->chip_data->irq_2_iommu.iommu->qi->free_tail s32min-s32max
PARAM_VALUE 0 data->parent_data->chip_data->irq_2_iommu.iommu->qi->q_lock.dep_map->name 0-255
PARAM_VALUE 0 data->parent_data->chip_data->irq_2_iommu.iommu->qi->q_lock.owner (-1)
PARAM_VALUE 0 data->parent_data->chip_data->irq_2_iommu.iommu->qi->q_lock.owner_cpu 4294967295
PARAM_VALUE 0 data->parent_data->chip_data->spmic->dev.driver_data->last_apid 0-u16max
PARAM_VALUE 0 data->parent_data->chip_data->spmic->dev.driver_data->lock->owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 data->parent_data->chip_data->spmic->dev.driver_data->lock.dep_map->name 0-255
PARAM_VALUE 0 data->parent_data->chip_data->spmic->dev.driver_data->lock.owner (-1)
PARAM_VALUE 0 data->parent_data->chip_data->spmic->dev.driver_data->lock.owner_cpu 4294967295
PARAM_VALUE 0 data->parent_data->chip_data->spmic->dev.driver_data->lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 data->parent_data->common 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
DATA_SOURCE 0 data $1
RX_PATH
TASK_NOT_RUNNING

kernel/irq/msi.c msi_domain_set_affinity() -> irq_chip_compose_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 data 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
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 irq

arch/x86/kernel/hpet.c hpet_clkevt_msi_resume() -> irq_chip_compose_msi_msg()

Type Parameter Key Value
PARAM_VALUE 0 data 0,4096-ptr_max
PARAM_VALUE 1 msg 967303559339806720
BUF_SIZE 0 data (-1),56
BUF_SIZE 0 data (-1),56
DATA_SOURCE 0 data r irq_get_irq_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &tick_broadcast_lock
HALF_LOCKED2 global &tick_freeze_lock
HALF_LOCKED2 irq