VMLAUNCH

if not in_vmx:
    fault(UD)
if vmx_nonroot:
    vm_exit(20)                  # the hypervisor emulates it
if CPL > 0:
    fault(GP, 0)
p = current_vmcs
if p == NO_VMCS:
    vm_fail_invalid()
elif phys_read(p, 32) >> 31:
    vm_fail_invalid()            # a shadow VMCS: no VM entry
elif mov_ss:
    vm_fail(26)                  # right after MOV SS or POP SS
elif launched(p):
    vm_fail(4)                   # VMRESUME enters it again
elif not controls_ok():
    vm_fail(7)                   # 29.2.1, in an order of the
                                 # processor's: a VMCS that fails
                                 # both may give either number
elif not host_state_ok():
    vm_fail(8)                   # 29.2.2 and 29.2.3
elif not guest_state_ok():
    entry_fail(33)               # 29.3.1: back to the host
else:
    load_guest()                 # 29.3.2; address monitoring
                                 # cleared
    if not msr_load_ok():
        entry_fail(34)           # 29.4: back to the host
    else:
        set_launched(p)
        vmx_nonroot = 1          # the guest runs from its RIP, an
                                 # event injected first if the
                                 # VM-entry controls ask (29.6)