tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
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