taglinefilesource code
console_verbose31arch/i386/kernel/traps.cstatic inline void console_verbose(void)
console_verbose29arch/mips/kernel/traps.cstatic inline void console_verbose(void)