X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm.h;h=89b56f164bbe36b5702e4a626aaa1db9821c2f59;hb=ff58148c2cfbbc82405dc9ec25056cc93c773083;hp=467fe246837fd8b2eafb91f318cb5eabe5625fc7;hpb=01e2bfdc462dbbe8d62b71c7e99e198c27844f0f;p=palacios.git

diff --git a/palacios/include/geekos/vmm.h b/palacios/include/geekos/vmm.h
index 467fe24..89b56f1 100644
--- a/palacios/include/geekos/vmm.h
+++ b/palacios/include/geekos/vmm.h
@@ -40,7 +40,6 @@
 
 
 
-
 #define VMM_INVALID_CPU 0
 #define VMM_VMX_CPU 1
 #define VMM_SVM_CPU 2
@@ -51,6 +50,9 @@ struct vmm_os_hooks {
   void (*print_info)(const char * format, ...);
   void (*print_debug)(const char * format, ...);
   void (*print_trace)(const char * format, ...);
+  
+  void *(*Allocate_Pages)(int numPages);
+  void (*Free_Page)(void * page); 
 };