X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=nautilus%2Fpalacios-nautilus-mm-test.h;fp=nautilus%2Fpalacios-nautilus-mm-test.h;h=0000000000000000000000000000000000000000;hp=89ad4ad12c47320a803c574b400225aa87c66248;hb=2a9cf19fe40ce33f1c2728a41b18011dda365c06;hpb=7e1ce44438e3ba765e1a8ec2d67c03af12c841e7

diff --git a/nautilus/palacios-nautilus-mm-test.h b/nautilus/palacios-nautilus-mm-test.h
deleted file mode 100644
index 89ad4ad..0000000
--- a/nautilus/palacios-nautilus-mm-test.h
+++ /dev/null
@@ -1 +0,0 @@
-void test_palacios_mm(unsigned num_pages_limit);