1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __IRQ_H
 3#define __IRQ_H
 4
 5#include <linux/kvm_host.h>
 6
 7static 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