pub fn schedule(switched_task_cx_ptr2: *const usize)