Encoding for x86 VMCS field “ENCLV-Exiting Bitmap”

eggyal — Sat, 02 Mar 2019 22:38:33 GMT

The Intel® 64 and IA-32 Architectures Software Developer's Manual Volume 3C: System Programming Guide, Part 3 includes the following description of a control field component of the virtual machine control structure (VMCS):

24.6.17 ENCLV-Exiting Bitmap

The ENCLV-exiting bitmap is a 64-bit field. If the “enable ENCLV exiting” VM-execution control is 1, execution of ENCLV causes a VM exit if the bit in this field corresponding to the value of EAX is 1. If the bit is 0, the instruction executes normally. See Section 25.1.3 for more information.

However, the encoding for this field is not given in Appendix B of Volume 3D (where one would expect it to be listed in Table B-4 "Encodings for 64-Bit Control Fields").

Where can one find the encoding for this field, or else how can one report the omission to Intel?

topic Encoding for x86 VMCS field “ENCLV-Exiting Bitmap” in Software Archive

Encoding for x86 VMCS field “ENCLV-Exiting Bitmap”