Change-Id: Ib184839e3b607986716fc48aec5ebd8ee796a065
# 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
+++ /dev/null
-/* 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);
-}