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 -#undef munmap - -int unmap_ok = 0; - -/*===========================================================================* - * munmap * - *===========================================================================*/ -int munmap(void *addrstart, vir_bytes len) -{ - if(!unmap_ok) - return ENOSYS; - - return _munmap(addrstart, len); -}