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=0000000000000000000000000000000000000000;hp=8a3568385c3e3b86efccefe06571189e6cfc1c5b;hb=2a9cf19fe40ce33f1c2728a41b18011dda365c06;hpb=7e1ce44438e3ba765e1a8ec2d67c03af12c841e7

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