Defined in 1 files as a prototype:
Defined in 6 files as a function:
- arch/arm64/kvm/vgic/vgic-irqfd.c, line 92 (as a function)
- arch/loongarch/kvm/irqfd.c, line 26 (as a function)
- arch/powerpc/kvm/mpic.c, line 1806 (as a function)
- arch/riscv/kvm/vm.c, line 68 (as a function)
- arch/s390/kvm/interrupt.c, line 3183 (as a function)
- arch/x86/kvm/irq.c, line 225 (as a function)
Referenced in 6 files:
- arch/arm64/kvm/vgic/vgic-irqfd.c, line 60
- arch/loongarch/kvm/irqfd.c, line 60
- arch/powerpc/kvm/mpic.c, line 1841
- arch/riscv/kvm/vm.c
- arch/x86/kvm/irq.c, line 331
- virt/kvm/irqchip.c, line 61
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/irqchip.c kvm_send_userspace_msi() -> kvm_set_msi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 5612923408785981440 |
| PARAM_VALUE | 1 | kvm | 4096-ptr_max |
| PARAM_VALUE | 1 | kvm->arch.irqchip_mode | 1-u32max |
| PARAM_VALUE | 1 | kvm->vm_dead | 0 |
| PARAM_VALUE | 2 | irq_source_id | 0 |
| PARAM_VALUE | 3 | level | 1 |
| PARAM_VALUE | 4 | line_status | 0 |
| BUF_SIZE | 1 | kvm | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | kvm | s32min-(-2),1-s32max |
| CAPPED_DATA | 1 | kvm->mm | 1 |
| DATA_SOURCE | 1 | kvm | $0 |
| USER_DATA | 0 | e->msi.address_hi | 0-u32max |
| USER_DATA | 0 | e->msi.address_lo | 0-u32max |
| USER_DATA | 0 | e->msi.data | 0-u32max |
| USER_DATA | 0 | e->msi.devid | 0-u32max |
| USER_DATA | 0 | e->msi.flags | 0 |
arch/x86/kvm/../../../virt/kvm/irqchip.c kvm_set_irq() -> (struct kvm_kernel_irq_routing_entry)->set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 1 | kvm | 4096-ptr_max |
| PARAM_VALUE | 1 | kvm->irq_routing | 0,4096-ptr_max |
| PARAM_VALUE | 1 | kvm->irq_srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | kvm->irq_srcu.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 2 | irq_source_id | 0-2 |
| BUF_SIZE | 1 | kvm | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | kvm | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | kvm->irq_routing | 1 |
| CAPPED_DATA | 1 | kvm->irq_srcu.srcu_ctrp | 1 |
| CAPPED_DATA | 1 | kvm->irq_srcu.srcu_reader_flavor | 1 |
| DATA_SOURCE | 1 | kvm | $0 |
| DATA_SOURCE | 2 | irq_source_id | $1 |
| DATA_SOURCE | 3 | level | $3 |
| DATA_SOURCE | 4 | line_status | $4 |
| HARD_MAX | 2 | irq_source_id | 2 |
| USER_DATA | 3 | level | s32min-s32max |
| USER_DATA | 4 | line_status | 0[c] |
| HALF_LOCKED2 | &kvm->irq_srcu | ||
| HALF_LOCKED2 | 1 | &kvm->irqfds.resampler_lock |