/* Palacios memory manager 
 * (c) Jack Lange, 2010
 */

#ifndef PALACIOS_MM_H
#define PALACIOS_MM_H



uintptr_t alloc_palacios_pgs(u64 num_pages, u32 alignment);
void free_palacios_pg(uintptr_t base_addr);
void free_palacios_pgs(uintptr_t base_addr, u64 num_pages);


int add_palacios_memory(uintptr_t base_addr, u64 num_pages);
int remove_palacios_memory(uintptr_t base_addr, u64 num_pages);
int palacios_init_mm( void );
int palacios_deinit_mm( void );



#endif