xref: /qemu/include/hw/intc/kvm_irqcount.h (revision 2b85e0cda4b066010efda63a2d2359872ba07a04)
1*2b85e0cdSThomas Huth /* SPDX-License-Identifier: LGPL-2.1-or-later */
2*2b85e0cdSThomas Huth 
3*2b85e0cdSThomas Huth #ifndef KVM_IRQCOUNT_H
4*2b85e0cdSThomas Huth #define KVM_IRQCOUNT_H
5*2b85e0cdSThomas Huth 
6*2b85e0cdSThomas Huth void kvm_report_irq_delivered(int delivered);
7*2b85e0cdSThomas Huth void kvm_reset_irq_delivered(void);
8*2b85e0cdSThomas Huth int kvm_get_irq_delivered(void);
9*2b85e0cdSThomas Huth 
10*2b85e0cdSThomas Huth #endif
11