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 console_lock;.