added memory region generated page tables, and removed all the ugliness that was...

[palacios.git] / palacios / include / geekos / vmm.h

diff --git a/palacios/include/geekos/vmm.h b/palacios/include/geekos/vmm.h
index 3b0b1e0..8751e02 100644 (file)
--- a/palacios/include/geekos/vmm.h
+++ b/palacios/include/geekos/vmm.h
@@ -89,8 +89,8 @@ struct vmm_os_hooks {
   void (*print_debug)(const char * format, ...);
   void (*print_trace)(const char * format, ...);
   
-  void *(*Allocate_Pages)(int numPages);
-  void (*Free_Page)(void * page);
+  void *(*allocate_pages)(int numPages);
+  void (*free_page)(void * page);
 
   void *(*malloc)(uint_t size);
   void (*free)(void * addr);