release_console 74 kernel/generic/include/console/console.h extern void release_console(void); release_console 1378 kernel/generic/src/console/cmd.c release_console();