|
|
|
@ -26,6 +26,7 @@ void sched_run(void);
|
|
|
|
|
|
|
|
|
|
void sched_set_status(tcb_t *process, unsigned int status); |
|
|
|
|
void sched_switch(uint16_t current_prio, uint16_t other_prio, int in_isr); |
|
|
|
|
void cpu_switch_context_exit(void); |
|
|
|
|
|
|
|
|
|
extern volatile unsigned int sched_context_switch_request; |
|
|
|
|
|
|
|
|
|