Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/irq/generic-chip.c irq_map_generic_chip() -> irq_gc_init_mask_cache()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gc | 4096-ptr_max |
| PARAM_VALUE | 0 | gc->installed | 0 |
| DATA_SOURCE | 0 | gc | r __irq_get_domain_generic_chip |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &d->root->mutex | ||
| LOCK2 | irq | ||
| LOCK2 | 0 | &gc->lock | |
| TYPE_LOCK | (struct irq_chip_generic)->lock | ||
| TYPE_LOCK | (struct irq_domain)->mutex |
kernel/irq/generic-chip.c irq_setup_generic_chip() -> irq_gc_init_mask_cache()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gc | 4096-ptr_max |
| PARAM_VALUE | 0 | gc->chip_types | 4096-ptr_max |
| PARAM_VALUE | 0 | gc->chip_types->regs.eoi | 12 |
| PARAM_VALUE | 0 | gc->chip_types->regs.mask | 0-u32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | gc->chip_types->type | 3,12 |
| PARAM_VALUE | 0 | gc->irq_base | 0-s32max |
| PARAM_VALUE | 0 | gc->list.next | 8196908964305563648 |
| PARAM_VALUE | 0 | gc->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | gc->num_ct | 1-2 |
| PARAM_VALUE | 0 | gc->private | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 1-2 |
| BUF_SIZE | 0 | gc | 536-888 |
| BUF_SIZE | 0 | gc | 536-888 |
| BUF_SIZE | 0 | gc->private | (-1),704,5184 |
| DATA_SOURCE | 0 | gc | $0 |
| DATA_SOURCE | 1 | flags | $2 |
| HARD_MAX | 0 | gc->num_ct | 2 |
| HARD_MAX | 1 | flags | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | gc->num_ct |