1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 #ifndef _ASM_X86_VIRT_H 3 #define _ASM_X86_VIRT_H 4 5 #include <linux/percpu-defs.h> 6 7 #include <asm/reboot.h> 8 9 #if IS_ENABLED(CONFIG_KVM_X86) 10 extern bool virt_rebooting; 11 12 void __init x86_virt_init(void); 13 14 #if IS_ENABLED(CONFIG_KVM_INTEL) 15 DECLARE_PER_CPU(struct vmcs *, root_vmcs); 16 #endif 17 18 #else 19 static __always_inline void x86_virt_init(void) {} 20 #endif 21 22 #endif /* _ASM_X86_VIRT_H */ 23