X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_direct_paging.h;h=22843fd767e8649acec1dbdc6a8f42d3ccaf9545;hb=639901d32ea8c5144ce9bb8f44bc6efa81a947a0;hp=3bae7e3dcdd039664c4fdcd18a55467adb8f7ce0;hpb=a568601e28c34c590815d1d2a16e85fbca352ebd;p=palacios.git

diff --git a/palacios/include/palacios/vmm_direct_paging.h b/palacios/include/palacios/vmm_direct_paging.h
index 3bae7e3..22843fd 100644
--- a/palacios/include/palacios/vmm_direct_paging.h
+++ b/palacios/include/palacios/vmm_direct_paging.h
@@ -29,6 +29,7 @@
 addr_t v3_create_direct_passthrough_pts(struct guest_info * guest_info);
 
 int v3_handle_passthrough_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
+int v3_handle_nested_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
 
 #endif // ! __V3VEE__