X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx.c;h=80a52a3fef20ba637995d8a8cbdd0856bbb8237b;hp=544b8488e8ef276aaddadb84462b1a1b1d8aefe9;hb=d775bbfa668ce9968bacc0e4257cf86e5ab88e90;hpb=d22c11cec4e8c3390bfe6bf16ed07f5d073f0d4a

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index 544b848..80a52a3 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -1138,6 +1138,8 @@ int v3_vmx_enter(struct guest_info * info) {
 
     if (info->shdw_pg_mode == NESTED_PAGING) {
 	check_vmcs_read(VMCS_GUEST_PHYS_ADDR, &(exit_info.ept_fault_addr));
+    } else {
+	exit_info.ept_fault_addr = 0;
     }
 
     //PrintDebug(info->vm_info, info, "VMX Exit taken, id-qual: %u-%lu\n", exit_info.exit_reason, exit_info.exit_qual);