CR4_VMXE
{ "VMXE", CR4_VMXE, CR4_VMXE },
vmcs_write(VMCS_HOST_CR4, vmm_get_host_cr4() | CR4_VMXE);
setcr4(getcr4() | CR4_VMXE);