| * QEMU Windows Hypervisor Platform accelerator (WHPX) support |
| * Copyright Microsoft, Corp. 2017 |
| * This work is licensed under the terms of the GNU GPL, version 2 or later. |
| * See the COPYING file in the top-level directory. |
| #include "whp-dispatch.h" |
| WHV_PARTITION_HANDLE partition; |
| bool kernel_irqchip_allowed; |
| bool kernel_irqchip_required; |
| struct whpx_lapic_state { |
| extern struct whpx_state whpx_global; |
| void whpx_apic_get(DeviceState *s); |
| #define whpx_apic_in_platform() (whpx_global.apic_in_platform) |
| #define whpx_enabled() (0) |
| #define whpx_apic_in_platform() (0) |