Searched refs:checkpoint_buf (Results 1 – 2 of 2) sorted by relevance
80 extern jmp_buf checkpoint_buf; /* context for return from checkpoint */1036 (void) setjmp(checkpoint_buf); in main()
887 jmp_buf checkpoint_buf; variable944 longjmp(checkpoint_buf, 1); in rollforward()1002 longjmp(checkpoint_buf, 1); in rollforward()