Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/irq/generic-chip.c irq_alloc_generic_chip() -> irq_init_generic_chip()

Type Parameter Key Value
PARAM_VALUE 0 gc 4096-ptr_max
BUF_SIZE 0 gc 184-u64max
BUF_SIZE 0 gc 184-u64max
DATA_SOURCE 0 gc r _kzalloc_noprof
DATA_SOURCE 1 name $0
DATA_SOURCE 2 num_ct $1
DATA_SOURCE 3 irq_base $2
DATA_SOURCE 4 reg_base $3
DATA_SOURCE 5 handler $4
NOCHECK_CALL

kernel/irq/generic-chip.c irq_domain_alloc_generic_chips() -> irq_init_generic_chip()

Type Parameter Key Value
PARAM_VALUE 2 num_ct 1-2
PARAM_VALUE 4 reg_base 0
BUF_SIZE 1 name 3-7,11-12,18
CAPPED_DATA 2 num_ct 1
STR_LEN 0 gc (-1),11
STR_LEN 0 gc->domain (-1)
STR_LEN 1 name (-1),11
CONTAINER 5 *(-8+0) $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 gc->domain->hwirq_max
NO_OVERFLOW_SIMPLE 0 gc->domain->revmap_size
NO_OVERFLOW_SIMPLE 0 gc->num_ct
NO_OVERFLOW_SIMPLE 2 num_ct
HALF_LOCKED2 &bank->deferred_lock

kernel/irq/devres.c devm_irq_alloc_generic_chip() -> irq_init_generic_chip()

Type Parameter Key Value
PARAM_VALUE 0 gc 1-u64max
PARAM_VALUE 1 name 1668055685031288832,3272963105172013056,3339954370992492544,7810754635176816640,9009531847034757120
PARAM_VALUE 2 num_ct 1-2
PARAM_VALUE 3 irq_base 0-s32max
BUF_SIZE 0 gc 536-888
BUF_SIZE 0 gc 536-888
BUF_SIZE 0 gc->chip_types 352-704
BUF_SIZE 1 name 9
BUF_SIZE 1 name 9
DATA_SOURCE 0 gc r devm_kzalloc
DATA_SOURCE 1 name $1
DATA_SOURCE 2 num_ct $2
DATA_SOURCE 3 irq_base $3
DATA_SOURCE 4 reg_base $4
DATA_SOURCE 5 handler $5
TERMINATED 1 name 1
HARD_MAX 2 num_ct 2
MEM_ZERO 0 gc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 num_ct