Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/xen/events/events_base.c xen_allocate_irq_dynamic() -> xen_irq_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | irq | 0-s32max |
| DATA_SOURCE | 0 | irq | r __irq_alloc_descs |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &irq_mapping_update_lock |
drivers/xen/events/events_base.c xen_allocate_irq_gsi() -> xen_irq_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| STR_LEN | 0 | irq | (-1),6,8,11-12 |
| LOCK2 | global &irq_mapping_update_lock |
drivers/xen/events/events_base.c xen_bind_pirq_msi_to_irq() -> xen_irq_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &_T->lock->msi.data->mutex | ||
| LOCK2 | global &irq_mapping_update_lock |