X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_paging.h;h=15c089aab21d0214fea9e194585f6e682ccb3b22;hb=11b5cccde17af54f3998c38952e0eeedf85ced0a;hp=a4f520e976f4a471d4618280b38549390cbb3127;hpb=e20b8f10c2d0be317fc77c75ac36f9fd283d2d8c;p=palacios.git

diff --git a/palacios/include/palacios/vmm_paging.h b/palacios/include/palacios/vmm_paging.h
index a4f520e..15c089a 100644
--- a/palacios/include/palacios/vmm_paging.h
+++ b/palacios/include/palacios/vmm_paging.h
@@ -538,7 +538,7 @@ int v3_check_guest_pt_64(struct guest_info * info, v3_reg_t guest_cr3, addr_t va
 
 
 int v3_walk_host_pt_32(v3_reg_t host_cr3,
-		       int (*callback)(int level, addr_t page_va, addr_t page_pa, void * private_data),
+		       void (*callback)(page_type_t type, addr_t page_va, addr_t page_pa, void * private_data),
 		       void * private_data);
 
 int v3_walk_host_pt_32pae(v3_reg_t host_cr3,
@@ -548,6 +548,18 @@ int v3_walk_host_pt_32pae(v3_reg_t host_cr3,
 int v3_walk_host_pt_64(v3_reg_t host_cr3,
 		       void (*callback)(page_type_t type, addr_t page_va, addr_t page_pa, void * private_data),
 		       void * private_data);
+
+int v3_walk_guest_pt_32(struct guest_info * info, v3_reg_t guest_cr3,
+		       void (*callback)(page_type_t type, addr_t page_va, addr_t page_pa, void * private_data),
+		       void * private_data);
+
+int v3_walk_guest_pt_32pae(struct guest_info * info, v3_reg_t guest_cr3,
+			  void (*callback)(page_type_t type, addr_t page_va, addr_t page_pa, void * private_data),
+			  void * private_data);
+
+int v3_walk_guest_pt_64(struct guest_info * info, v3_reg_t guest_cr3,
+		       void (*callback)(page_type_t type, addr_t page_va, addr_t page_pa, void * private_data),
+		       void * private_data);
   
 struct guest_info;
 
@@ -557,6 +569,8 @@ pml4e64_t * create_passthrough_pts_64(struct guest_info * info);
 
 
 
+const uchar_t * v3_page_type_to_str(page_type_t type);
+
 
 //#include <palacios/vm_guest.h>