-
-#if CONFIG_KERN_PREEMPT
- ASSERT2(CurrentProcess, "no idle proc?");
-
- if (old_process != CurrentProcess)
- {
- IRQ_DISABLE;
-
- TRACEMSG("switching from %p:%s to %p:%s",
- old_process, old_process ? old_process->monitor.name : "---",
- CurrentProcess, proc_currentName());
-
- if (old_process)
- swapcontext(&old_process->context, &CurrentProcess->context);
- else
- setcontext(&CurrentProcess->context);
-
- IRQ_ENABLE;
- }
- TRACEMSG("resuming %p:%s", CurrentProcess, CurrentProcess->monitor.name);
-#endif // CONFIG_KERN_PREEMPT