B-2 Vol. 3D
FIELD ENCODING IN VMCS
B.1.3
16-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 B-3 enumerates the 16-bit host-state fields.
B.2 64-BIT
FIELDS
A value of 1 in bits 14:13 of an encoding indicates a 64-bit field. There are 64-bit fields only for controls and for
guest state. As noted in Section 24.11.2, every 64-bit field has two encodings, which differ on bit 0, the access
type. Thus, each such field has an even encoding for full access and an odd encoding for high access.
B.2.1
64-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 B-4 enumerates the 64-bit control fields.
Guest interrupt status
1
000001000B
00000810H
PML index
2
000001001B
00000812H
NOTES:
1. This field exists only on processors that support the 1-setting of the “virtual-interrupt delivery” VM-execution control.
2. This field exists only on processors that support the 1-setting of the “enable PML” VM-execution control.
Table B-3. Encodings for 16-Bit Host-State Fields (0000_11xx_xxxx_xxx0B)
Field Name
Index
Encoding
Host ES selector
000000000B
00000C00H
Host CS selector
000000001B
00000C02H
Host SS selector
000000010B
00000C04H
Host DS selector
000000011B
00000C06H
Host FS selector
000000100B
00000C08H
Host GS selector
000000101B
00000C0AH
Host TR selector
000000110B
00000C0CH
Table B-4. Encodings for 64-Bit Control Fields (0010_00xx_xxxx_xxxAb)
Field Name
Index
Encoding
Address of I/O bitmap A (full)
000000000B
00002000H
Address of I/O bitmap A (high)
00002001H
Address of I/O bitmap B (full)
000000001B
00002002H
Address of I/O bitmap B (high)
00002003H
Address of MSR bitmaps (full)
1
000000010B
00002004H
Address of MSR bitmaps (high)
00002005H
VM-exit MSR-store address (full)
000000011B
00002006H
VM-exit MSR-store address (high)
00002007H
Table B-2. Encodings for 16-Bit Guest-State Fields (0000_10xx_xxxx_xxx0B) (Contd.)
Field Name
Index
Encoding