diff --git a/VMCS-GUEST.md b/VMCS-GUEST.md index 330153c..ce66bec 100644 --- a/VMCS-GUEST.md +++ b/VMCS-GUEST.md @@ -13,7 +13,7 @@ Processors: (two xeon cpus) ##### Checks on Guest Control Registers * The CR0 field must not set any bit to a value not supported in VMX operation (see Section 23.8). The following -are exceptions: +are exceptions: :white_check_mark: - Bit 0 (corresponding to CR0.PE) and bit 31 (PG) are not checked if the “unrestricted guest” VM-execution control is 1. @@ -27,7 +27,7 @@ not changed by VM entry; see Section 26.3.2.1. bit 5 in the CR4 field (corresponding to CR4.PAE) must each be 1. :white_check_mark: - If the “IA-32e mode guest” VM-entry control is 0, bit 17 in the CR4 field (corresponding to CR4.PCIDE) -must be 0. +must be 0. (this value is one in my entry controls) :white_check_mark: - The CR3 field must be such that bits 63:52 and bits in the range 51:32 beyond the processor’s physicaladdress width are 0. :white_check_mark: