From a2f46f22c811ce9f4bdf6d29b1ac5cb6131aecd7 Mon Sep 17 00:00:00 2001
From: Biswapriyo Nath <nathbap...@gmail.com>
Date: Fri, 7 Jun 2024 05:09:19 +0000
Subject: [PATCH 1/4] headers: Add new names in WHV_REGISTER_NAME in 
winhvplatformdefs.h

Signed-off-by: Biswapriyo Nath <nathbap...@gmail.com>
---
 mingw-w64-headers/include/winhvplatformdefs.h | 31 ++++++++++++++++++-
 1 file changed, 30 insertions(+), 1 deletion(-)

diff --git a/mingw-w64-headers/include/winhvplatformdefs.h 
b/mingw-w64-headers/include/winhvplatformdefs.h
index 6f06f86..448f682 100644
--- a/mingw-w64-headers/include/winhvplatformdefs.h
+++ b/mingw-w64-headers/include/winhvplatformdefs.h
@@ -778,6 +778,27 @@ typedef enum WHV_REGISTER_NAME {
     WHvX64RegisterUmwaitControl = 0x00002098,
     WHvX64RegisterXfd = 0x00002099,
     WHvX64RegisterXfdErr = 0x0000209A,
+    WHvX64RegisterMsrIa32MiscEnable = 0x000020A0,
+    WHvX64RegisterIa32FeatureControl = 0x000020A1,
+    WHvX64RegisterIa32VmxBasic = 0x000020A2,
+    WHvX64RegisterIa32VmxPinbasedCtls = 0x000020A3,
+    WHvX64RegisterIa32VmxProcbasedCtls = 0x000020A4,
+    WHvX64RegisterIa32VmxExitCtls = 0x000020A5,
+    WHvX64RegisterIa32VmxEntryCtls = 0x000020A6,
+    WHvX64RegisterIa32VmxMisc = 0x000020A7,
+    WHvX64RegisterIa32VmxCr0Fixed0 = 0x000020A8,
+    WHvX64RegisterIa32VmxCr0Fixed1 = 0x000020A9,
+    WHvX64RegisterIa32VmxCr4Fixed0 = 0x000020AA,
+    WHvX64RegisterIa32VmxCr4Fixed1 = 0x000020AB,
+    WHvX64RegisterIa32VmxVmcsEnum = 0x000020AC,
+    WHvX64RegisterIa32VmxProcbasedCtls2 = 0x000020AD,
+    WHvX64RegisterIa32VmxEptVpidCap = 0x000020AE,
+    WHvX64RegisterIa32VmxTruePinbasedCtls = 0x000020AF,
+    WHvX64RegisterIa32VmxTrueProcbasedCtls = 0x000020B0,
+    WHvX64RegisterIa32VmxTrueExitCtls = 0x000020B1,
+    WHvX64RegisterIa32VmxTrueEntryCtls = 0x000020B2,
+    WHvX64RegisterAmdVmHsavePa = 0x000020B3,
+    WHvX64RegisterAmdVmCr = 0x000020B4,
     WHvX64RegisterApicId = 0x00003002,
     WHvX64RegisterApicVersion = 0x00003003,
     WHvX64RegisterApicTpr = 0x00003008,
@@ -848,12 +869,20 @@ typedef enum WHV_REGISTER_NAME {
     WHvRegisterVpAssistPage = 0x00005013,
     WHvRegisterReferenceTsc = 0x00005017,
     WHvRegisterReferenceTscSequence = 0x0000501A,
+    WHvX64RegisterNestedGuestState = 0x00005050,
+    WHvX64RegisterNestedCurrentVmGpa = 0x00005051,
+    WHvX64RegisterNestedVmxInvEpt = 0x00005052,
+    WHvX64RegisterNestedVmxInvVpid = 0x00005053,
     WHvRegisterPendingInterruption = 0x80000000,
     WHvRegisterInterruptState = 0x80000001,
     WHvRegisterPendingEvent = 0x80000002,
+    WHvRegisterPendingEvent1 = 0x80000003,
     WHvX64RegisterDeliverabilityNotifications = 0x80000004,
+    WHvRegisterDeliverabilityNotifications = 0x80000004,
     WHvRegisterInternalActivityState = 0x80000005,
-    WHvX64RegisterPendingDebugException = 0x80000006
+    WHvX64RegisterPendingDebugException = 0x80000006,
+    WHvRegisterPendingEvent2 = 0x80000007,
+    WHvRegisterPendingEvent3 = 0x80000008
 } WHV_REGISTER_NAME;
 
 typedef union DECLSPEC_ALIGN(16) WHV_UINT128 {
-- 
2.45.2

_______________________________________________
Mingw-w64-public mailing list
Mingw-w64-public@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mingw-w64-public

Reply via email to