X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm.h;h=336c9e06f83e97ce0daa84422897abbeda9249d2;hb=271ad3fd89672d441db3c5ffa673ee649e4ce532;hp=3b80c46b21fdb53072c2c513c8d493474f394316;hpb=122a7d532b4bb6914ff291d53f6111f1e52613b7;p=palacios.git

diff --git a/palacios/include/geekos/vmm.h b/palacios/include/geekos/vmm.h
index 3b80c46..336c9e0 100644
--- a/palacios/include/geekos/vmm.h
+++ b/palacios/include/geekos/vmm.h
@@ -6,7 +6,7 @@
 #include <geekos/string.h>
 
 #include <geekos/vmm_mem.h>
-#include <geekos/vmm_paging.h>
+//#include <geekos/vmm_paging.h>
 
 #include <geekos/vm_guest.h>
 
@@ -87,6 +87,9 @@ struct vmm_os_hooks {
   void *(*malloc)(uint_t size);
   void (*free)(void * addr);
 
+  void *(*physical_to_virtual)(void *addr);
+  void *(*virtual_to_physical)(void *addr);
+
 
   void (*start_kernel_thread)(); // include pointer to function
 };