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