jb                 40 kern/include/setjmp.h int setjmp(jmp_buf jb);
jb                 41 kern/include/setjmp.h void longjmp(jmp_buf jb, int retval);
jb                 49 user/include/setjmp.h int setjmp(jmp_buf jb);
jb                 50 user/include/setjmp.h void longjmp(jmp_buf jb, int code);