setting up framework for 64 bit shadow paging

[palacios.git] / palacios / include / palacios / vmm_shadow_paging.h

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index b2b3d1e..1245934 100644 (file)
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -64,7 +64,7 @@ int v3_handle_shadow_invlpg(struct guest_info * info);
 
 
 int v3_activate_shadow_pt(struct guest_info * info);
-
+int v3_activate_passthrough_pt(struct guest_info * info);
 
 /* TODO: Change to static functions
  * External visibility not needed