From 7f439d46566af700938a8bf9da4921af9117b01c Mon Sep 17 00:00:00 2001
From: Cristiano Giuffrida <giuffrida@cs.vu.nl>
Date: Sun, 2 Mar 2014 00:00:05 +0100
Subject: [PATCH] rs: Ditch dead code to munmap zero pages.

Change-Id: Ib184839e3b607986716fc48aec5ebd8ee796a065
---
 minix/servers/rs/Makefile |  2 +-
 minix/servers/rs/memory.c | 24 ------------------------
 2 files changed, 1 insertion(+), 25 deletions(-)
 delete mode 100644 minix/servers/rs/memory.c

diff --git a/minix/servers/rs/Makefile b/minix/servers/rs/Makefile
index eaac5e404..a19d0fa72 100644
--- a/minix/servers/rs/Makefile
+++ b/minix/servers/rs/Makefile
@@ -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
index 961b2d003..000000000
--- a/minix/servers/rs/memory.c
+++ /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);
-}