Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/msi.c __msi_domain_alloc_irqs() -> (struct msi_domain_ops)->set_desc()

Type Parameter Key Value
PARAM_VALUE 0 arg 4843105746425536512
PARAM_VALUE 1 desc 1-u64max
PARAM_VALUE 1 desc->irq 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
LOCK2 &_T->lock->msi.data->mutex