Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip_data 0,4096-ptr_max
PARAM_VALUE 0 data->chip_data->entry.source 0
PARAM_VALUE 0 data->domain->ops 4096-ptr_max
PARAM_VALUE 0 data->domain->ops->activate 1-u64max
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
PARAM_VALUE 1 msg->arch_addr_lo.base_address 0,4078
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
NOCHECK_CALL
HOST_DATA 1 msg->address_hi 0-u32max
HOST_DATA 1 msg->address_lo 0,2-4294967294

kernel/irq/msi.c msi_domain_deactivate() -> irq_chip_write_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->deactivate 1-u64max
PARAM_VALUE 1 msg 4396149678583455744
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
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip_data 0,4096-ptr_max
PARAM_VALUE 0 data->chip_data->entry.source 0
PARAM_VALUE 0 data->parent_data->chip 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->arch_addr_lo.base_address 0,4078
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
NOCHECK_CALL
HOST_DATA 1 msg->address_hi 0-u32max
HOST_DATA 1 msg->address_lo 0,2-4294967294
HALF_LOCKED2 irq