77,7 → 77,7 |
extern fid_t fibril_create(int (*func)(void *), void *arg); |
extern fibril_t *fibril_setup(void); |
extern void fibril_teardown(fibril_t *f); |
extern int fibril_schedule_next_adv(fibril_switch_type_t stype); |
extern int fibril_switch(fibril_switch_type_t stype); |
extern void fibril_add_ready(fid_t fid); |
extern void fibril_add_manager(fid_t fid); |
extern void fibril_remove_manager(void); |
85,8 → 85,8 |
extern void fibril_inc_sercount(void); |
extern void fibril_dec_sercount(void); |
|
static inline int fibril_schedule_next(void) { |
return fibril_schedule_next_adv(FIBRIL_PREEMPT); |
static inline int fibril_yield(void) { |
return fibril_switch(FIBRIL_PREEMPT); |
} |
|
#endif |