Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/vmd.c vmd_msi_alloc() -> vmd_msi_free()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->ops 4096-ptr_max
PARAM_VALUE 0 domain->ops->alloc 1-u64max
PARAM_VALUE 2 nr_irqs 0-s32max
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 0 domain (-1),376-s32max
CAPPED_DATA 2 nr_irqs 1
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 virq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 virq 0-2147483902[c]
NO_OVERFLOW_SIMPLE 2 nr_irqs
HALF_LOCKED2 0 &domain->root->mutex

kernel/irq/irqdomain.c irq_domain_free_irqs_hierarchy() -> (struct irq_domain_ops)->free()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
PARAM_VALUE 0 domain->ops 4096-ptr_max
PARAM_VALUE 0 domain->ops->free 1-u64max
PARAM_VALUE 1 virq 0
PARAM_VALUE 2 nr_irqs 1
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 0 domain (-1),376-s32max
CAPPED_DATA 0 domain 1
DATA_SOURCE 0 domain $0
CONTAINER 0 -48-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &domain->root->mutex