servers/rs/memory.c

   1 /* This file contains memory management routines for RS.
   2  *
   3  * Changes:
   4  *   Nov 22, 2009: Created    (Cristiano Giuffrida)
   5  */
   6
   7 #include "inc.h"
   8
   9 #define minix_munmap _minix_munmap
  10 #include <sys/mman.h>
  11 #undef minix_munmap
  12
  13 int unmap_ok = 0;
  14
  15 /*===========================================================================*
  16  *                                  minix_munmap                             *
  17  *===========================================================================*/
  18 int minix_munmap(void *addrstart, vir_bytes len)
  19 {
  20   if(!unmap_ok)
  21       return ENOSYS;
  22
  23   return _minix_munmap(addrstart, len);
  24 }