Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/irq/irqdomain.c irq_domain_alloc_irqs_hierarchy() -> (struct irq_domain_ops)->alloc()

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
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 0 domain (-1),376-s32max
BUF_SIZE 3 arg (-1),72,80
BUF_SIZE 3 arg (-1),72,80
BUF_SIZE 3 arg->fwnode (-1)-0,64
BUF_SIZE 3 arg->uv.name (-1),9,11,13
DATA_SOURCE 0 domain $0
DATA_SOURCE 1 virq $1
DATA_SOURCE 2 nr_irqs $2
DATA_SOURCE 3 arg $3
STR_LEN 3 arg->data (-1),15
CONTAINER 0 -40-24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 virq 0-2147483902[c]
NO_OVERFLOW_SIMPLE 2 nr_irqs
NO_OVERFLOW_SIMPLE 3 arg->desc->nvec_used
HALF_LOCKED2 0 &domain->root->mutex