console_conditional_schedule — yield the CPU if required
void __sched console_conditional_schedule ( | void); |
If the console code is currently allowed to sleep, and if this CPU should yield the CPU to another task, do so here.
Must be called within console_lock;.