__returns_twice
int setjmp(jmp_buf) __RENAME(__setjmp14) __returns_twice;
int sigsetjmp(sigjmp_buf, int) __RENAME(__sigsetjmp14) __returns_twice;
int _setjmp(jmp_buf) __returns_twice;
int getcontext(ucontext_t *) __returns_twice;
pid_t vfork(void) __RENAME(__vfork14) __returns_twice;
int __setjmp14(jmp_buf) __returns_twice;
int __sigsetjmp14(sigjmp_buf, int) __returns_twice;
pid_t vfork(void) __returns_twice;
pid_t __vfork14(void) __returns_twice;
#if !defined(__returns_twice)
static __attribute__((__always_inline__)) __returns_twice inline pid_t
int cpu_set_onfault(struct faultbuf *) __returns_twice;
int cpu_set_onfault(struct faultbuf *) __returns_twice;
int swapctx(struct pcb *old, struct pcb *new) __returns_twice;
int cpu_set_onfault(struct faultbuf *) __returns_twice;
int setjmp(label_t *) __returns_twice;