Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/irq/msi.c msi_device_domain_alloc_wired() -> __msi_domain_alloc_irq_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | domid | 0 |
| PARAM_VALUE | 2 | index | u32max |
| PARAM_VALUE | 3 | affdesc | 0 |
| PARAM_VALUE | 4 | icookie | 1851787292334854144 |
| PARAM_VALUE | 4 | icookie->ptr | 0 |
| PARAM_VALUE | 4 | icookie->value | 0-68719476735 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dev | unit_byte |
| LOCK2 | &_T->lock->msi.data->mutex | ||
| HALF_LOCKED2 | &rproc->lock |
kernel/irq/msi.c msi_domain_alloc_irq_at() -> __msi_domain_alloc_irq_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->msi.domain | 4096-ptr_max |
| PARAM_VALUE | 1 | domid | 0 |
| PARAM_VALUE | 3 | affdesc | 0,16,4096-ptr_max |
| PARAM_VALUE | 4 | icookie | 0 |
| BUF_SIZE | 3 | affdesc | (-1),1032 |
| BUF_SIZE | 3 | affdesc | (-1),1032 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | domid | $1 |
| DATA_SOURCE | 2 | index | $2 |
| DATA_SOURCE | 3 | affdesc | $3 |
| DATA_SOURCE | 4 | icookie | $4 |
| NOSPEC | 2 | index | |
| NOSPEC | 2 | index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | index | 0-2147483646,2147483648-u32max[c] |
| USER_DATA | 2 | index | 0-4294967294[c] |
| UNITS | 2 | index | unit_array_size |
| LOCK2 | &_T->lock->msi.data->mutex | ||
| HALF_LOCKED2 | &gc->gic_mutex | ||
| HALF_LOCKED2 | &vdev->memory_lock | ||
| HALF_LOCKED2 | global &vdpa_dev_lock |