tag	line	file	source code
serial_echo_print	179	drivers/char/console.c	extern int serial_echo_print (const char *s);
serial_echo_print	1826	drivers/char/console.c	serial_echo_print(b);