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

diff --git a/palacios/include/palacios/vmm_paging.h b/palacios/include/palacios/vmm_paging.h
index ad20d94..a4f520e 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),
+		       int (*callback)(int level, 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,