#include "qapi/qapi-types-common.h"
#include "qapi/qapi-visit-common.h"
#include "migration/blocker.h"
-#include "whp-dispatch.h"
#include <winerror.h>
#include "whpx-cpus.h"
-
-#include <WinHvPlatform.h>
-#include <WinHvEmulation.h>
+#include "whpx-internal.h"
#define HYPERV_APIC_BUS_FREQUENCY (200000000ULL)
#include "hw/pci/msi.h"
#include "sysemu/hw_accel.h"
#include "sysemu/whpx.h"
-#include "whp-dispatch.h"
+#include "whpx-internal.h"
static void whpx_put_apic_state(APICCommonState *s,
struct whpx_lapic_state *kapic)
#include "qemu/guest-random.h"
#include "sysemu/whpx.h"
+#include "whpx-internal.h"
#include "whpx-cpus.h"
-#include <WinHvPlatform.h>
-#include <WinHvEmulation.h>
-
static void *whpx_cpu_thread_fn(void *arg)
{
CPUState *cpu = arg;
-#ifndef WHP_DISPATCH_H
-#define WHP_DISPATCH_H
+#ifndef WHP_INTERNAL_H
+#define WHP_INTERNAL_H
#include <windows.h>
#include <WinHvPlatform.h>
WINHV_PLATFORM_FNS_SUPPLEMENTAL
} WHPFunctionList;
-#endif /* WHP_DISPATCH_H */
+#endif /* WHP_INTERNAL_H */