[PATCH 2/3] svm/vnmi: add the definitions for the svm vnmi management bits in the VMCB

[Abdelkareem@xxxxxxxxx, Abdelsaamad@xxxxxxxxx, abdelkareem.abdelsaamad@xxxxxxxxxx]

From: Abdelkareem Abdelsaamad <abdelkareem.abdelsaamad@xxxxxxxxxx>

Add defines for the three SVM's Virtual NMI (vNMI) managements bits in the
VMCB structure's vintr_t:

vintr_t(11) - Virtual NMI is pending.
vintr_t(12) - Virtual NMI is masked.
vintr_t(26) - Enable NMI virtualization.

Signed-off-by: Abdelkareem Abdelsaamad <abdelkareem.abdelsaamad@xxxxxxxxxx>
---
 xen/arch/x86/hvm/svm/vmcb.h | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/xen/arch/x86/hvm/svm/vmcb.h b/xen/arch/x86/hvm/svm/vmcb.h
index 69f6047394..0ffb2fb8e1 100644
--- a/xen/arch/x86/hvm/svm/vmcb.h
+++ b/xen/arch/x86/hvm/svm/vmcb.h
@@ -336,15 +336,19 @@ typedef union
         u64 tpr:          8;
         u64 irq:          1;
         u64 vgif:         1;
-        u64 rsvd0:        6;
+        u64 rsvd0:        1;
+        u64 vnmi_pending: 1;
+        u64 vnmi_blocking:1;
+        u64 rsvd1:        3;
         u64 prio:         4;
         u64 ign_tpr:      1;
-        u64 rsvd1:        3;
+        u64 rsvd2:        3;
         u64 intr_masking: 1;
         u64 vgif_enable:  1;
-        u64 rsvd2:        6;
+        u64 vnmi_enable:  1;
+        u64 rsvd3:        5;
         u64 vector:       8;
-        u64 rsvd3:       24;
+        u64 rsvd4:       24;
     } fields;
 } vintr_t;
 
-- 
2.52.0