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