Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- arch/arm64/kvm/vgic/vgic-v2.c, line 67
- arch/arm64/kvm/vgic/vgic-v3.c, line 128
- arch/powerpc/kvm/book3s_xics.c
- arch/powerpc/kvm/mpic.c, line 1106
- arch/x86/kvm/i8259.c, line 86
- arch/x86/kvm/ioapic.c, line 557
Smatch caller information:
arch/x86/kvm/ioapic.c kvm_ioapic_update_eoi_one() -> kvm_notify_acked_irq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | irqchip | 2 |
| PARAM_VALUE | 2 | pin | 0-23 |
| DATA_SOURCE | 2 | pin | $3 |
| NOCHECK_CALL |
arch/x86/kvm/i8259.c pic_clear_isr() -> kvm_notify_acked_irq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | irqchip | 0-1 |
| PARAM_VALUE | 2 | pin | 0-15 |
| DATA_SOURCE | 2 | pin | $1 [m] |
| FUZZY_MAX | 1 | irqchip | 1 |
| HARD_MAX | 1 | irqchip | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 2 | pin | 1-7,9-15[c] |
| LOCK2 | &s->lock |