12345678910111213141516171819202122 |
- /* 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
|