console_conditional_schedule (9)

void __sched console_conditional_schedule(void);

void

no arguments

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