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