Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/irq.c kvm_arch_set_irq_inatomic() -> kvm_msi_route_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 1 | e | 5750442418397671424 |
| CAPPED_DATA | 0 | kvm->irq_srcu.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | kvm | $1 |
| DATA_SOURCE | 1 | e | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | 0 | &kvm->irq_srcu | |
| HALF_LOCKED2 | &sci->sc_wait_request.lock | ||
| HALF_LOCKED2 | &x->lock | ||
| HALF_LOCKED2 | flags | ||
| TYPE_LOCK | (struct kvm)->irq_srcu |
arch/x86/kvm/irq.c kvm_set_msi() -> kvm_msi_route_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 1 | e | 4096-ptr_max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | kvm | $1 |
| DATA_SOURCE | 1 | e | $0 |
| USER_DATA | 1 | e->msi.address_hi | 0-u32max |
| USER_DATA | 1 | e->msi.address_lo | 0-u32max |
| USER_DATA | 1 | e->msi.data | 0-u32max |
| USER_DATA | 1 | e->msi.devid | 0-u32max |
| USER_DATA | 1 | e->msi.flags | 0 |
| HALF_LOCKED2 | 0 | &kvm->irqfds.resampler_lock |
arch/x86/kvm/irq.c kvm_set_routing_entry() -> kvm_msi_route_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kvm | 4096-ptr_max |
| PARAM_VALUE | 1 | e | 4096-ptr_max |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | e | 80 |
| CAPPED_DATA | 1 | e->gsi | 1 |
| DATA_SOURCE | 0 | kvm | $0 |
| DATA_SOURCE | 1 | e | $1 |
| NOSPEC | 1 | e->gsi | |
| USER_DATA | 1 | e->gsi | 0-u32max[c] |
| USER_DATA | 1 | e->msi.address_hi | 0-u32max |
| USER_DATA | 1 | e->msi.address_lo | 0-u32max |
| USER_DATA | 1 | e->msi.data | 0-u32max |
| USER_DATA | 1 | e->type | 0-u32max |
| HALF_LOCKED2 | 0 | &kvm->lock |