(switched_task_cx_ptr: *mut TaskContext)
| 95 | } |
| 96 | |
| 97 | pub fn schedule(switched_task_cx_ptr: *mut TaskContext) { |
| 98 | let idle_task_cx_ptr = |
| 99 | PROCESSOR.exclusive_session(|processor| processor.get_idle_task_cx_ptr()); |
| 100 | unsafe { |
| 101 | __switch(switched_task_cx_ptr, idle_task_cx_ptr); |
| 102 | } |
| 103 | } |
no test coverage detected