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