(* Copyright (C) 1990, Digital Equipment Corporation. *) (* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) (* Last modified on Thu Oct 29 09:18:27 MET 1992 by preschern *) (* modified on Sun May 27 08:17:19 1990 by muller *) (* modified on Mon Apr 23 16:37:40 1990 by jerome *) MODULE Utime; FROM Ctypes IMPORT char_star, int, long, long_star, unsigned_short, short; (*** ***) PROCEDURE setitimer (which: int; VAR value, ovalue: struct_itimerval): int = BEGIN <* ASSERT FALSE *> END setitimer; BEGIN END Utime.