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

Table Of Contents
Vol. 3 H-5
FIELD ENCODING IN VMCS
H.2.4 64-Bit Host-State Fields
A value of 3 in bits 11:10 of an encoding indicates a field in the host-state area.
These fields are distinguished by their index value in bits 9:1. Table H-7 enumerates
the 64-bit control fields.
H.3 32-BIT FIELDS
A value of 2 in bits 14:13 of an encoding indicates a 32-bit field. As noted in Section
20.10.2, each 32-bit field allows only full access, meaning that bit 0 of its encoding
is 0. Each such encoding is thus an even number.
H.3.1 32-Bit Control Fields
A value of 0 in bits 11:10 of an encoding indicates a control field. These fields are
distinguished by their index value in bits 9:1. Table H-8 enumerates the 32-bit
control fields.
Guest PDPTE2 (full) 000000111B 0000280EH
Guest PDPTE2 (high) 000000111B 0000280FH
Guest PDPTE3 (full) 000001000B 00002810H
Guest PDPTE3 (high) 000001000B 00002811H
Table H-7. Encodings for 64-Bit Host-State Fields (0010_11xx_xxxx_xxxAb)
Field Name Index Encoding
Host IA32_PAT (full) 000000000B 00002C00H
Host IA32_PAT (high) 000000000B 00002C01H
Host IA32_EFER (full) 000000001B 00002C02H
Host IA32_EFER (high) 000000001B 00002C03H
Host IA32_PERF_GLOBAL_CTRL (full) 000000010B 00002C04H
Host IA32_PERF_GLOBAL_CTRL (high) 000000010B 00002C05H
Table H-8. Encodings for 32-Bit Control Fields (0100_00xx_xxxx_xxx0B)
Field Name Index Encoding
Pin-based VM-execution controls 000000000B 00004000H
Table H-6. Encodings for 64-Bit Guest-State Fields (0010_10xx_xxxx_xxxAb)
Field Name Index Encoding