Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
virt/lib/irqbypass.c irq_bypass_register_consumer() -> __connect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prod | 1-1025,1027-1029,1031-u64max |
| PARAM_VALUE | 1 | cons | 4096-ptr_max |
| PARAM_VALUE | 1 | cons->add_producer | 234259026117320704 |
| PARAM_VALUE | 1 | cons->del_producer | 751848311153360896 |
| PARAM_VALUE | 1 | cons->eventfd | 0 |
| PARAM_VALUE | 1 | cons->start | 2228213838957563904 |
| PARAM_VALUE | 1 | cons->stop | 3032540107482095616 |
| CAPPED_DATA | 1 | cons | 1 |
| DATA_SOURCE | 0 | prod | r xa_load |
| DATA_SOURCE | 1 | cons | $0 |
| LOCK2 | &kvm->irq_srcu | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct kvm)->irq_srcu |
virt/lib/irqbypass.c irq_bypass_register_producer() -> __connect()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prod | 4096-ptr_max |
| PARAM_VALUE | 0 | prod->eventfd | 0 |
| PARAM_VALUE | 0 | prod->irq | 0-s32max |
| PARAM_VALUE | 1 | cons | 1-1025,1027-1029,1031-u64max |
| CAPPED_DATA | 0 | prod | 1 |
| DATA_SOURCE | 0 | prod | $0 |
| DATA_SOURCE | 1 | cons | r xa_load |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &d->mutex |