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