X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=nautilus%2Fpalacios-nautilus-mm.h;fp=nautilus%2Fpalacios-nautilus-mm.h;h=8a3568385c3e3b86efccefe06571189e6cfc1c5b;hp=0000000000000000000000000000000000000000;hb=66c338acdc299d7496da982999ff3cd3828e442a;hpb=68f8c4cd303c5da40c1083cbabdaf6395e4dbaa1

diff --git a/nautilus/palacios-nautilus-mm.h b/nautilus/palacios-nautilus-mm.h
new file mode 100644
index 0000000..8a35683
--- /dev/null
+++ b/nautilus/palacios-nautilus-mm.h
@@ -0,0 +1,26 @@
+#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