4 #include <nautilus/nautilus.h>
5 #include <nautilus/paging.h>
6 #include <nautilus/mm.h>
7 #include <nautilus/buddy.h>
13 #define PALACIOS_PAGE_SIZE 4096
15 static inline int get_page_bit(int index);
16 static inline void set_page_bit(int index);
17 static uintptr_t alloc_contig_pgs(u64 num_pages, u32 alignment);
20 int init_palacios_nautilus_mm(uint64_t memsize);
21 int deinit_palacios_nautilus_mm(void);
22 uintptr_t alloc_palacios_pgs(u64 num_pages, u32 alignment, int node_id, int (*filter_func)(void *paddr, void *filter_state), void *filter_state);
23 void free_palacios_pgs(uintptr_t base_addr, u64 num_pages);
24 void free_palacios_pg(uintptr_t base_addr);