X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;h=344e1605c41a2107336def0064d4bf3f93fa15f4;hp=4ca198b0a5acea01defe7e818232908130c07ae2;hb=6c28cc8753bb0e1b17b5c6c2ee296eb60e09079c;hpb=bc2c46a12649344d973e2201271c05390ce924bf

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 4ca198b..344e160 100644
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -31,30 +31,14 @@ struct guest_info;
 
 int init_shadow_page_state(struct shadow_page_state * state);
 
+#ifdef __V3VEE__
 
-addr_t create_new_shadow_pt32(struct guest_info * info);
 
-addr_t setup_shadow_pt32(struct guest_info * info, addr_t virt_cr3);
-addr_t setup_shadow_pte32(struct guest_info * info, addr_t pt_host_addr);
+addr_t create_new_shadow_pt32(struct guest_info * info);
 
 int handle_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
-int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr, pf_error_t error_code);
-
-int handle_shadow_pde32_fault(struct guest_info * info, 
-			      addr_t fault_addr, 
-			      pf_error_t error_code, 
-			      pde32_t * shadow_pde, 
-			      pde32_t * guest_pde);
-
-
-int handle_shadow_pte32_fault(struct guest_info* info, 
-			      addr_t fault_addr, 
-			      pf_error_t error_code,
-			      pte32_t * shadow_pte, 
-			      pte32_t * guest_pte);
-
-
-
 int handle_shadow_invlpg(struct guest_info * info);
 
+#endif // ! __V3VEE__
+
 #endif