+++ /dev/null
-#ifndef _PALACIOS_MM_H
-#define _PALACIOS_MM_H
-
-#include <nautilus/nautilus.h>
-#include <nautilus/paging.h>
-#include <nautilus/mm.h>
-#include <nautilus/buddy.h>
-
-
-
-#include "palacios.h"
-
-#define PALACIOS_PAGE_SIZE 4096
-
-static inline int get_page_bit(int index);
-static inline void set_page_bit(int index);
-static uintptr_t alloc_contig_pgs(u64 num_pages, u32 alignment);
-
-
-int init_palacios_nautilus_mm(uint64_t memsize);
-int deinit_palacios_nautilus_mm(void);
-uintptr_t alloc_palacios_pgs(u64 num_pages, u32 alignment, int node_id, int (*filter_func)(void *paddr, void *filter_state), void *filter_state);
-void free_palacios_pgs(uintptr_t base_addr, u64 num_pages);
-void free_palacios_pg(uintptr_t base_addr);
-
-#endif