new/_Linux_/Lin/Mod/Rt.txt

   1 MODULE LinRt ["librt.so.1"];
   2
   3         (*
   4                 A. V. Shiryaev, 2013.12
   5
   6                 GNU/Linux
   7                 32-bit
   8         *)
   9
  10         CONST
  11                 CLOCK_REALTIME* = 0;
  12                 CLOCK_MONOTONIC* = 1;
  13
  14         TYPE
  15                 time_t* = INTEGER;
  16
  17                 timespec_t* = RECORD [untagged]
  18                         tv_sec*: time_t; (* seconds *)
  19                         tv_nsec*: INTEGER (* nanoseconds *)
  20                 END;
  21
  22                 clockid_t* = INTEGER;
  23
  24         PROCEDURE [ccall] clock_gettime* (clock_id: clockid_t; VAR tp: timespec_t): INTEGER;
  25
  26 END LinRt.