(* Copyright (C) 1992, Digital Equipment Corporation *) (* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) (* *) (* Last modified on Wed Oct 28 16:30:11 MET 1992 by preschern *) (* modified on Sat Jul 11 20:23:21 PDT 1992 by muller *) MODULE Umman; FROM Ctypes IMPORT int; FROM Utypes IMPORT caddr_t, size_t, off_t; (*** sys/mman.h ***) PROCEDURE mmap (addr: caddr_t; len: size_t; prot,flags,fd: int; off: off_t): caddr_t = BEGIN <* ASSERT FALSE *> END mmap; PROCEDURE munmap (addr: caddr_t; len: size_t): caddr_t = BEGIN <* ASSERT FALSE *> END munmap; PROCEDURE mprotect (addr: caddr_t; len, prot: int): int = BEGIN RETURN(len); (* <* ASSERT FALSE *> *) END mprotect; BEGIN END Umman.