Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/irq/manage.c __free_irq() -> (struct irqaction)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 1 | priv | 1 |
| DATA_SOURCE | 1 | priv | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &desc->request_mutex | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct irq_desc)->request_mutex |
kernel/irq/handle.c __handle_irq_event_percpu() -> (struct irqaction)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 1 | *(-0+8) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/irq/handle.c __handle_irq_event_percpu() -> (struct irqaction)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 1 | *(-0+8) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |
kernel/irq/chip.c handle_fasteoi_nmi() -> (struct irqaction)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 1 | *(-0+8) | $(-1) |
kernel/irq/chip.c handle_percpu_devid_irq() -> (struct irqaction)->handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
kernel/irq/manage.c irq_thread_fn() -> (struct irqaction)->thread_fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 0 | *(-32+56) | $(-1) |
| CONTAINER | 1 | *(-32+8) | $(-1) |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | irq |
kernel/irq/chip.c handle_nested_irq() -> (struct irqaction)->thread_fn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CONTAINER | 0 | *(-32+56) | $(-1) |
| CONTAINER | 1 | *(-32+8) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &rt5677->irq_lock | ||
| HALF_LOCKED2 | &slave->sdw_dev_lock | ||
| HALF_LOCKED2 | &smaster->lock | ||
| HALF_LOCKED2 | _T->lock |