SYNOPSIS void console_lock(void); ARGUMENTS void no arguments 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. COPYRIGHT