Name
console_lock —
lock the console system for exclusive use.
Synopsis
void console_lock (
void)
;
Description
Acquires a lock which guarantees that the caller has
exclusive access to the console system and the console_drivers list.
Can sleep, returns nothing.