Signed-off-by: Yonggang Luo <luoyonggang@gmail.com>
---
include/sysemu/whpx.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/include/sysemu/whpx.h b/include/sysemu/whpx.h
index 9346fd92e9..4f38784d7e 100644
--- a/include/sysemu/whpx.h
+++ b/include/sysemu/whpx.h
@@ -15,7 +15,7 @@
#ifdef CONFIG_WHPX
-#include "whp-dispatch.h"
+#include <WinHvPlatformDefs.h>
struct whpx_state {
uint64_t mem_quota;
--
2.29.2.windows.3
I submitted a similar patch, then Paolo did a different approach which didn't land yet: