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 uintptr_t get_palacios_base_addr(void);
  15 u64 get_palacios_num_pages(void);
  16
  17
  18 int add_palacios_memory(uintptr_t base_addr, u64 num_pages);
  19 int remove_palacios_memory(uintptr_t base_addr, u64 num_pages);
  20 int palacios_init_mm( void );
  21 int palacios_deinit_mm( void );
  22
  23
  24
  25 #endif