Rt.txt 409 B

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