rs: Ditch dead code to munmap zero pages.
Change-Id: Ib184839e3b607986716fc48aec5ebd8ee796a065
This commit is contained in:
parent
704033fd9d
commit
7f439d4656
2 changed files with 1 additions and 25 deletions
|
@ -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
|
||||
|
|
|
@ -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);
|
||||
}
|
Loading…
Reference in a new issue