tag	line	file	source code
console_verbose	32	arch/i386/kernel/traps.c	static inline void console_verbose(void)
console_verbose	37	arch/mips/kernel/traps.c	static inline void console_verbose(void)