From b20d2beeedbdb5da6978d63a4dfeb748264c311f Mon Sep 17 00:00:00 2001
From: _xeroxz <xerox@back.engineering>
Date: Sat, 6 Feb 2021 23:40:09 +0000
Subject: [PATCH] Update VMCS-GUEST.md

---
 VMCS-GUEST.md | 31 +++++++++++++++++++++++++++----
 1 file changed, 27 insertions(+), 4 deletions(-)

diff --git a/VMCS-GUEST.md b/VMCS-GUEST.md
index 66f6303..dd27eda 100644
--- a/VMCS-GUEST.md
+++ b/VMCS-GUEST.md
@@ -192,8 +192,25 @@ ds rights: 0x000000000000C0F3
 		- ds_rights.present: 1
 		- ds_rights.type: 3
 		- ds_rights.unusable: 0
-		
-		
+```
+
+* TR Access Rights. The different sub-fields are considered separately:
+
+    - Bits 3:0 (Type).
+        - If the guest will not be IA-32e mode, the Type must be 3 (16-bit busy TSS) or 11 (32-bit busy
+TSS).
+        - If the guest will be IA-32e mode, the Type must be 11 (64-bit busy TSS).
+        
+    - Bit 4 (S). S must be 0.
+    - Bit 7 (P). P must be 1.
+    - Bits 11:8 (reserved). These bits must all be 0.
+    - Bit 15 (G).
+        - If any bit in the limit field in the range 11:0 is 0, G must be 0.
+        - If any bit in the limit field in the range 31:20 is 1, G must be 1.
+    - Bit 16 (Unusable). The unusable bit must be 0.
+    - Bits 31:17 (reserved). These bits must all be 0.
+    
+```
 tr selector: 0x0000000000000040
 		- tr.index: 8
 		- tr.request_privilege_level: 0
@@ -210,8 +227,14 @@ tr rights: 0x000000000000008B
 		- tr_rights.present: 1
 		- tr_rights.type: 11
 		- tr_rights.unusable: 0
-		
-		
+```
+
+* LDTR. The following checks on the different sub-fields apply only if LDTR is usable:
+
+    - Bits 3:0 (Type). The Type must be 2 (LDT).
+	- Bit 4 (S). S must be 0.
+
+```
 ldt selector: 0x0000000000000000
 		- ldt.index: 0
 		- ldt.request_privilege_level: 0