1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __IRQ_H
3 #define __IRQ_H
4 
5 #include <linux/kvm_host.h>
6 
irqchip_in_kernel(struct kvm * kvm)7 static inline int irqchip_in_kernel(struct kvm *kvm)
8 {
9 	int ret = 0;
10 
11 #ifdef CONFIG_KVM_MPIC
12 	ret = ret || (kvm->arch.mpic != NULL);
13 #endif
14 #ifdef CONFIG_KVM_XICS
15 	ret = ret || (kvm->arch.xics != NULL);
16 	ret = ret || (kvm->arch.xive != NULL);
17 #endif
18 	smp_rmb();
19 	return ret;
20 }
21 
22 #endif
23