l1_guest_code(vmx_pages);
 
        GUEST_DONE();
+
+       /* Try enlightened vmptrld with an incorrect GPA */
+       evmcs_vmptrld(0xdeadbeef, vmx_pages->enlightened_vmcs);
+       GUEST_ASSERT(vmlaunch());
 }
 
 int main(int argc, char *argv[])
                case UCALL_SYNC:
                        break;
                case UCALL_DONE:
-                       goto done;
+                       goto part1_done;
                default:
                        TEST_FAIL("Unknown ucall %lu", uc.cmd);
                }
                            (ulong) regs2.rdi, (ulong) regs2.rsi);
        }
 
-done:
+part1_done:
+       _vcpu_run(vm, VCPU_ID);
+       TEST_ASSERT(run->exit_reason == KVM_EXIT_SHUTDOWN,
+                   "Unexpected successful VMEnter with invalid eVMCS pointer!");
+
        kvm_vm_free(vm);
 }