Open Menu /

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/msi.c __msi_domain_alloc_irqs() -> msi_sysfs_populate_desc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->msi.data->__domains 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->irq 0-s32max
PARAM_VALUE 1 desc->nvec_used 0-s32max
CAPPED_DATA 1 desc->nvec_used 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 desc->pci s64min-s64max
HOST_DATA 1 desc->pci.mask_pos 0-255
HOST_DATA 1 desc->pci.msi_attrib.can_mask 1
HOST_DATA 1 desc->pci.msi_attrib.default_irq 0-u32max
HOST_DATA 1 desc->pci.msi_attrib.is_64 1
HOST_DATA 1 desc->pci.msi_attrib.is_msix 1
HOST_DATA 1 desc->pci.msi_attrib.is_virtual 0-1
HOST_DATA 1 desc->pci.msi_attrib.multi_cap 0-7
HOST_DATA 1 desc->pci.msi_attrib.multiple 0-7
HOST_DATA 1 desc->pci.msi_mask 0-u32max
HOST_DATA 1 desc->pci.msix_ctrl 0-u32max
NO_OVERFLOW_SIMPLE 1 desc->nvec_used
UNITS 0 dev unit_byte
LOCK2 &_T->lock->msi.data->mutex

kernel/irq/msi.c msi_device_populate_sysfs() -> msi_sysfs_populate_desc()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->msi.data 4096-ptr_max
PARAM_VALUE 1 desc 4096-ptr_max
PARAM_VALUE 1 desc->sysfs_attrs 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 desc->nvec_used
LOCK2 &_T->lock->msi.data->mutex