linux_module/mm.h

   1 /* Palacios memory manager
   2  * (c) Jack Lange, 2010
   3  */
   4
   5 #ifndef PALACIOS_MM_H
   6 #define PALACIOS_MM_H
   7
   8
   9
  10 uintptr_t alloc_palacios_pgs(u64 num_pages, u32 alignment);
  11 void free_palacios_pg(uintptr_t base_addr);
  12 void free_palacios_pgs(uintptr_t base_addr, u64 num_pages);
  13
  14
  15 int add_palacios_memory(uintptr_t base_addr, u64 num_pages);
  16 int remove_palacios_memory(uintptr_t base_addr, u64 num_pages);
  17 int palacios_init_mm( void );
  18 int palacios_deinit_mm( void );
  19
  20
  21
  22 #endif