Last modified on Fri Apr 30 16:25:40 PDT 1993 by muller

INTERFACE Csetjmp;		(* for LINUX *)

FROM Ctypes IMPORT long, int, void_star;
IMPORT Usignal;

TYPE
  ptr_t = void_star;

  jmp_buf = RECORD
        bx, si, di: long;
        bp, sp, pc: ptr_t;
        mask_was_saved : long;
        saved_mask : Usignal.sigset_t;
  END;

<*EXTERNAL*> PROCEDURE setjmp (VAR env: jmp_buf): int;
<*EXTERNAL*> PROCEDURE longjmp (VAR env: jmp_buf; val: int);

<*EXTERNAL "_setjmp" *>  PROCEDURE usetjmp (VAR env: jmp_buf): int;
<*EXTERNAL "_longjmp" *> PROCEDURE ulongjmp (VAR env: jmp_buf; val: int);

END Csetjmp.