(Revision 0 - 12 October 2000)
get here from
pending L5.5 p54 l40
thread_switch L6.11 P85 l14
epilogue L5.11 060 l123
| 0-3 | save kernel_base and jump to get_next_thread - a C
scheduling program with a0 kernel_base t0 top of current thread tcb |
| 4 | call thread_switch_fast(stcb, dtcb, k_base) to switch threads fast |
| 5,6 | invoke code for new thread e.g., pop sender_restart_receiving into ra (pushed on l34,35 of k_ipc) and jump to it |