X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_handler.c;h=f8a183e092b3879f5f5ca803e89c4861a6881894;hb=a4fd5bcc79e7cdf9a3bd879294566bff0666ced7;hp=8f5e12ac02c568d79e940a1810143da5b9d790f5;hpb=d3d6d09894dba66f4e2361bb2f903139a2d83684;p=palacios.git

diff --git a/palacios/src/palacios/vmx_handler.c b/palacios/src/palacios/vmx_handler.c
index 8f5e12a..f8a183e 100644
--- a/palacios/src/palacios/vmx_handler.c
+++ b/palacios/src/palacios/vmx_handler.c
@@ -119,7 +119,7 @@ int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_inf
 	case VMX_EXIT_EPT_VIOLATION: {
 	    struct ept_exit_qual * ept_qual = (struct ept_exit_qual *)&(exit_info->exit_qual);
 
-	    if (v3_handle_ept_fault(info, exit_info->ept_fault_addr, ept_qual) == -1) {
+	    if (v3_handle_nested_pagefault(info, exit_info->ept_fault_addr, ept_qual,NULL,NULL) == -1) {
 		PrintError(info->vm_info, info, "Error handling EPT fault\n");
 		return -1;
 	    }