VMREAD

if not in_vmx:
    fault(UD)
f = field.read()                 # the field's encoding
if vmx_nonroot:
    p = current_vmcs
    pri = vmcs_read(p, 0x4002)   # processor-based controls; bit
    sec = 0                      # 31 activates the secondary ones
    if pri >> 31:
        sec = vmcs_read(p, 0x401E)
    out = 1
    if sec >> 14 & 1 and not f >> 15:
        bm = vmcs_read(p, 0x2026)  # VMCS shadowing: the VMREAD
        b = phys_read(bm | f >> 3, 8)  # bitmap, a bit a field
        out = b >> (f & 7) & 1
    if out:
        vm_exit(23)              # the hypervisor emulates it
if CPL > 0:
    fault(GP, 0)
p = current_vmcs
if vmx_nonroot:
    p = vmcs_read(current_vmcs, 0x2800)
if p == NO_VMCS:
    vm_fail_invalid()
elif not vmcs_has(f):
    vm_fail(12)                  # in a guest, the SDM does not say
                                 # which VMCS takes the number
else:
    dest.write(vmcs_read(p, f))  # only now can the write to memory
                                 # fault
    vm_succeed()