Searched refs:hdrjmp (Results 1 – 1 of 1) sorted by relevance
85 static jmp_buf hdrjmp; variable309 if (setjmp(hdrjmp) == 0) { in main()342 longjmp(hdrjmp, 1); in hdrstop()