vmcs_revision
*(uint32_t *)(vmx->vmxon) = vmcs_revision();
*(uint32_t *)(vmx->vmcs) = vmcs_revision();
*(uint32_t *)(vmx->shadow_vmcs) = vmcs_revision() | 0x80000000ul;