]> Zhao Yanbai Git Server - minix.git/commitdiff
rs: Ditch dead code to munmap zero pages. 88/3088/2
authorCristiano Giuffrida <giuffrida@cs.vu.nl>
Sat, 1 Mar 2014 23:00:05 +0000 (00:00 +0100)
committerDavid van Moolenbroek <david@minix3.org>
Wed, 16 Sep 2015 11:03:52 +0000 (11:03 +0000)
Change-Id: Ib184839e3b607986716fc48aec5ebd8ee796a065

minix/servers/rs/Makefile
minix/servers/rs/memory.c [deleted file]

index eaac5e404b3f1fb7994e16867401021a40bf5dd4..a19d0fa7252dbd431acb049a551d8099e64c963b 100644 (file)
@@ -2,7 +2,7 @@
 
 # Makefile for Reincarnation Server (RS)
 PROG=  rs
-SRCS=  exec.c main.c request.c manager.c table.c utility.c memory.c error.c
+SRCS=  exec.c main.c request.c manager.c table.c utility.c error.c
 
 .if ${USE_PCI} != "no"
 CPPFLAGS+= -DUSE_PCI
diff --git a/minix/servers/rs/memory.c b/minix/servers/rs/memory.c
deleted file mode 100644 (file)
index 961b2d0..0000000
+++ /dev/null
@@ -1,24 +0,0 @@
-/* This file contains memory management routines for RS.
- *
- * Changes:
- *   Nov 22, 2009: Created    (Cristiano Giuffrida)
- */
-
-#include "inc.h"
-
-#define munmap _munmap
-#include <sys/mman.h>
-#undef munmap
-
-int unmap_ok = 0;
-
-/*===========================================================================*
- *                                 munmap                              *
- *===========================================================================*/
-int munmap(void *addrstart, vir_bytes len)
-{
-  if(!unmap_ok) 
-      return ENOSYS;
-
-  return _munmap(addrstart, len);
-}