2 * QEMU Windows Hypervisor Platform accelerator (WHPX) support
4 * Copyright Microsoft, Corp. 2017
8 * This work is licensed under the terms of the GNU GPL, version 2 or later.
9 * See the COPYING file in the top-level directory.
13 /* header to be included in non-WHPX-specific code */
22 int whpx_enabled(void);
23 bool whpx_apic_in_platform(void);
25 #else /* CONFIG_WHPX */
27 #define whpx_enabled() (0)
28 #define whpx_apic_in_platform() (0)
30 #endif /* CONFIG_WHPX */
32 #endif /* NEED_CPU_H */
34 #endif /* QEMU_WHPX_H */