NAME
console_conditional_schedule - yield the CPU if required
SYNOPSIS
void __sched console_conditional_schedule(void);
ARGUMENTS
void
no arguments
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;.