Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/irqchip/irq-atmel-aic.c, line 200
- drivers/irqchip/irq-atmel-aic5.c, line 291
- drivers/irqchip/irq-dw-apb-ictl.c, line 87
- drivers/irqchip/irq-loongson-liointc.c, line 193
- drivers/irqchip/irq-nvic.c, line 61
- drivers/irqchip/irq-pic32-evic.c, line 139
- drivers/irqchip/irq-stm32-exti.c
- kernel/irq/generic-chip.c, line 512
Smatch caller information:
drivers/irqchip/irq-pic32-evic.c pic32_irq_domain_map() -> irq_map_generic_chip()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->hwirq_max | 1-u64max |
| PARAM_VALUE | 0 | d->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | d->ops->map | 1-u64max |
| PARAM_VALUE | 0 | d->root->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->root->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->root->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | d->root->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | d->root->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->root->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->root->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->root->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | virq | 0 |
| PARAM_VALUE | 2 | hw_irq | 0-18446744073709551614 |
| BUF_SIZE | 0 | d | (-1),376-s32max |
| BUF_SIZE | 0 | d | (-1),376-s32max |
| BUF_SIZE | 0 | d->host_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d->ops | (-1),96 |
| CAPPED_DATA | 0 | d->hwirq_max | 1 |
| CAPPED_DATA | 2 | hw_irq | 1 |
| CAPPED_DATA | 2 | hw_irq | 1 |
| DATA_SOURCE | 0 | d | $0 |
| DATA_SOURCE | 1 | virq | $1 |
| DATA_SOURCE | 2 | hw_irq | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | d->gc->num_chips | |
| NO_OVERFLOW_SIMPLE | 0 | d->hwirq_max | |
| NO_OVERFLOW_SIMPLE | 0 | d->revmap_size | |
| NO_OVERFLOW_SIMPLE | 0 | d->root->hwirq_max | |
| NO_OVERFLOW_SIMPLE | 0 | d->root->revmap_size | |
| NO_OVERFLOW_SIMPLE | 2 | hw_irq | |
| LOCK2 | 0 | &d->root->mutex | |
| TYPE_LOCK | (struct irq_domain)->mutex |
kernel/irq/irqdomain.c irq_domain_associate_locked() -> (struct irq_domain_ops)->map()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->hwirq_max | 1-u64max |
| PARAM_VALUE | 0 | d->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | d->ops->map | 1-u64max |
| PARAM_VALUE | 0 | d->root->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->root->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->root->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | d->root->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->root->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->root->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->root->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | virq | 0 |
| PARAM_VALUE | 2 | hw_irq | 0-18446744073709551614 |
| BUF_SIZE | 0 | d | (-1),376-s32max |
| BUF_SIZE | 0 | d | (-1),376-s32max |
| BUF_SIZE | 0 | d->host_data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | d->ops | (-1),96 |
| CAPPED_DATA | 0 | d->hwirq_max | 1 |
| CAPPED_DATA | 2 | hw_irq | 1 |
| CAPPED_DATA | 2 | hw_irq | 1 |
| DATA_SOURCE | 0 | d | $0 |
| DATA_SOURCE | 1 | virq | $1 |
| DATA_SOURCE | 2 | hw_irq | $2 |
| CONTAINER | 0 | -16-24+0 | $(-1) |
| PARAM_COMPARE | 0 | d->hwirq_max | > $2 |
| PARAM_COMPARE | 2 | hw_irq | < $0->hwirq_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | d->gc->num_chips | |
| NO_OVERFLOW_SIMPLE | 0 | d->hwirq_max | |
| NO_OVERFLOW_SIMPLE | 0 | d->revmap_size | |
| NO_OVERFLOW_SIMPLE | 0 | d->root->hwirq_max | |
| NO_OVERFLOW_SIMPLE | 0 | d->root->revmap_size | |
| NO_OVERFLOW_SIMPLE | 2 | hw_irq | |
| LOCK2 | 0 | &d->root->mutex | |
| TYPE_LOCK | (struct irq_domain)->mutex |