| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef __IRQ_H | |
| #define __IRQ_H | |
| #include <linux/kvm_host.h> | |
| static inline int irqchip_in_kernel(struct kvm *kvm) | |
| { | |
| int ret = 0; | |
| #ifdef CONFIG_KVM_MPIC | |
| ret = ret || (kvm->arch.mpic != NULL); | |
| #endif | |
| #ifdef CONFIG_KVM_XICS | |
| ret = ret || (kvm->arch.xics != NULL); | |
| ret = ret || (kvm->arch.xive != NULL); | |
| #endif | |
| smp_rmb(); | |
| return ret; | |
| } | |
| #endif |