| // Kernel implementations for setjmp/longjmp. | 
 |  | 
 | #pragma once | 
 |  | 
 | #include <arch/setjmp.h> | 
 |  | 
 | int slim_setjmp(struct jmpbuf *env) __attribute__((returns_twice)); | 
 | void longjmp(struct jmpbuf *env, int val) __attribute__((noreturn)); | 
 |  | 
 | #pragma GCC diagnostic push | 
 | /* Currently, this only throws in tcpackproc().  Not sure why, but if you take | 
 |  * out the loop++ > 1000, it won't warn. */ | 
 | #pragma GCC diagnostic ignored "-Wmaybe-uninitialized" | 
 |  | 
 | #define setjmp(jb) ({ __ros_clobber_callee_regs(); slim_setjmp(jb); }) | 
 |  | 
 | #pragma GCC diagnostic pop |