Name
console_conditional_schedule —
yield the CPU if required
Synopsis
void __sched console_conditional_schedule ( void);
Description
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 acquire_console_sem.