static void cpu_print_last_instruction(void)
Print the last instruction's address.
static void mips32r2_isr_end(void)
Trigger a conditional context scheduler run / context switch.
void thread_yield_higher(void)
Lets current thread yield in favor of a higher prioritized thread.
volatile unsigned int sched_context_switch_request
Flag indicating whether a context switch is necessary after handling an interrupt.
void cpu_init(void)
Initialization of the CPU.