return 0;
 }
 
+static inline bool load_evmcs(uint64_t enlightened_vmcs_gpa, void *enlightened_vmcs)
+{
+       if (evmcs_vmptrld(enlightened_vmcs_gpa, enlightened_vmcs))
+               return false;
+
+       current_evmcs->revision_id = EVMCS_VERSION;
+
+       return true;
+}
+
 static inline int evmcs_vmptrst(uint64_t *value)
 {
        *value = current_vp_assist->current_nested_vmcs &
 
 
 bool load_vmcs(struct vmx_pages *vmx)
 {
-       if (!enable_evmcs) {
-               /* Load a VMCS. */
-               *(uint32_t *)(vmx->vmcs) = vmcs_revision();
-               if (vmclear(vmx->vmcs_gpa))
-                       return false;
-
-               if (vmptrld(vmx->vmcs_gpa))
-                       return false;
-
-               /* Setup shadow VMCS, do not load it yet. */
-               *(uint32_t *)(vmx->shadow_vmcs) =
-                       vmcs_revision() | 0x80000000ul;
-               if (vmclear(vmx->shadow_vmcs_gpa))
-                       return false;
-       } else {
-               if (evmcs_vmptrld(vmx->enlightened_vmcs_gpa,
-                                 vmx->enlightened_vmcs))
-                       return false;
-               current_evmcs->revision_id = EVMCS_VERSION;
-       }
+       /* Load a VMCS. */
+       *(uint32_t *)(vmx->vmcs) = vmcs_revision();
+       if (vmclear(vmx->vmcs_gpa))
+               return false;
+
+       if (vmptrld(vmx->vmcs_gpa))
+               return false;
+
+       /* Setup shadow VMCS, do not load it yet. */
+       *(uint32_t *)(vmx->shadow_vmcs) = vmcs_revision() | 0x80000000ul;
+       if (vmclear(vmx->shadow_vmcs_gpa))
+               return false;
 
        return true;
 }
 
        enable_vp_assist(vmx_pages->vp_assist_gpa, vmx_pages->vp_assist);
        evmcs_enable();
 
-       GUEST_ASSERT(vmx_pages->vmcs_gpa);
        GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));
        GUEST_SYNC(3);
-       GUEST_ASSERT(load_vmcs(vmx_pages));
+       GUEST_ASSERT(load_evmcs(vmx_pages->enlightened_vmcs_gpa,
+                               vmx_pages->enlightened_vmcs));
        GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa);
 
        GUEST_SYNC(4);