39 static cpu_reg_t thread_next_id(
void);
43 volatile brisc_thread_t* thread;
56 return (cpu_reg_t)thread->cpu_state;
74 static cpu_reg_t thread_next_id(
void)
volatile brisc_scheduler_t brisc_scheduler_state
cpu_reg_t b_thread_schedule_next(void)
determine which thread gets this time slice.
volatile brisc_thread_t * b_thread_state(uint8_t id)