Intel 64 and IA-32 Architectures Software Developers Manual Volume 3B, System Programming Guide Part 2

Table Of Contents
H-4 Vol. 3
FIELD ENCODING IN VMCS
H.2.2 64-Bit Read-Only Data Field
A value of 1 in bits 11:10 of an encoding indicates a read-only data field. These fields
are distinguished by their index value in bits 9:1. There is only one such 64-bit field
as given in Table H-5.(As with other 64-bit fields, this one has two encodings.)
H.2.3 64-Bit Guest-State Fields
A value of 2 in bits 11:10 of an encoding indicates a field in the guest-state area.
These fields are distinguished by their index value in bits 9:1. Table H-6 enumerates
the 64-bit guest-state fields.
4. This field exists only on processors that support the 1-setting of the “enable EPT” VM-execution
control.
Table H-5. Encodings for 64-Bit Read-Only Data Field (0010_01xx_xxxx_xxxAb)
Field Name Index Encoding
Guest-physical address (full) 000000000B 00002400H
Guest-physical address (high) 000000000B 00002401H
Table H-6. Encodings for 64-Bit Guest-State Fields (0010_10xx_xxxx_xxxAb)
Field Name Index Encoding
VMCS link pointer (full) 000000000B 00002800H
VMCS link pointer (high) 000000000B 00002801H
Guest IA32_DEBUGCTL (full) 000000001B 00002802H
Guest IA32_DEBUGCTL (high) 000000001B 00002803H
Guest IA32_PAT (full) 000000010B 00002804H
Guest IA32_PAT (high) 000000010B 00002805H
Guest IA32_EFER (full) 000000011B 00002806H
Guest IA32_EFER (high) 000000011B 00002807H
Guest IA32_PERF_GLOBAL_CTRL (full) 000000100B 00002808H
Guest IA32_PERF_GLOBAL_CTRL (high) 000000100B 00002809H
Guest PDPTE0 (full) 000000101B 0000280AH
Guest PDPTE0 (high) 000000101B 0000280BH
Guest PDPTE1 (full) 000000110B 0000280CH
Guest PDPTE1 (high) 000000110B 0000280DH