pub fn schedule(switched_task_cx_ptr: *mut TaskContext)
Return to idle control flow for new scheduling