Rev 2483 | Rev 2586 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2483 | Rev 2568 | ||
|---|---|---|---|
| Line 75... | Line 75... | ||
| 75 | extern void context_restore(context_t *c) __attribute__ ((noreturn)); |
75 | extern void context_restore(context_t *c) __attribute__ ((noreturn)); |
| 76 | 76 | ||
| 77 | extern fid_t fibril_create(int (*func)(void *), void *arg); |
77 | extern fid_t fibril_create(int (*func)(void *), void *arg); |
| 78 | extern fibril_t *fibril_setup(void); |
78 | extern fibril_t *fibril_setup(void); |
| 79 | extern void fibril_teardown(fibril_t *f); |
79 | extern void fibril_teardown(fibril_t *f); |
| 80 | extern int fibril_schedule_next_adv(fibril_switch_type_t stype); |
80 | extern int fibril_switch(fibril_switch_type_t stype); |
| 81 | extern void fibril_add_ready(fid_t fid); |
81 | extern void fibril_add_ready(fid_t fid); |
| 82 | extern void fibril_add_manager(fid_t fid); |
82 | extern void fibril_add_manager(fid_t fid); |
| 83 | extern void fibril_remove_manager(void); |
83 | extern void fibril_remove_manager(void); |
| 84 | extern fid_t fibril_get_id(void); |
84 | extern fid_t fibril_get_id(void); |
| 85 | extern void fibril_inc_sercount(void); |
85 | extern void fibril_inc_sercount(void); |
| 86 | extern void fibril_dec_sercount(void); |
86 | extern void fibril_dec_sercount(void); |
| 87 | 87 | ||
| 88 | static inline int fibril_schedule_next(void) { |
88 | static inline int fibril_yield(void) { |
| 89 | return fibril_schedule_next_adv(FIBRIL_PREEMPT); |
89 | return fibril_switch(FIBRIL_PREEMPT); |
| 90 | } |
90 | } |
| 91 | 91 | ||
| 92 | #endif |
92 | #endif |
| 93 | 93 | ||
| 94 | /** @} |
94 | /** @} |