85
85
extern int context_save(context_t *ctx) __attribute__((returns_twice));
86
86
extern void context_restore(context_t *ctx) __attribute__((noreturn));
89
93
extern void fibril_destroy(fid_t fid);
90
94
extern fibril_t *fibril_setup(void);
91
95
extern void fibril_teardown(fibril_t *f);