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.
18 #include "whp-dispatch.h"
22 WHV_PARTITION_HANDLE partition
;
23 bool kernel_irqchip_allowed
;
24 bool kernel_irqchip_required
;
25 bool apic_in_platform
;
28 struct whpx_lapic_state
{
35 extern struct whpx_state whpx_global
;
36 int whpx_enabled(void);
38 void whpx_apic_get(DeviceState
*s
);
39 #define whpx_apic_in_platform() (whpx_global.apic_in_platform)
41 #else /* CONFIG_WHPX */
43 #define whpx_enabled() (0)
44 #define whpx_apic_in_platform() (0)
46 #endif /* CONFIG_WHPX */
48 #endif /* QEMU_WHPX_H */