1 /* SPDX-License-Identifier: LGPL-2.1-or-later */ 2 3 #ifndef KVM_IRQCOUNT_H 4 #define KVM_IRQCOUNT_H 5 6 void kvm_report_irq_delivered(int delivered); 7 void kvm_reset_irq_delivered(void); 8 int kvm_get_irq_delivered(void); 9 10 #endif 11
1 /* SPDX-License-Identifier: LGPL-2.1-or-later */ 2 3 #ifndef KVM_IRQCOUNT_H 4 #define KVM_IRQCOUNT_H 5 6 void kvm_report_irq_delivered(int delivered); 7 void kvm_reset_irq_delivered(void); 8 int kvm_get_irq_delivered(void); 9 10 #endif 11