tag	line	file	source code
receive_chars	571	drivers/char/serial.c	receive_chars(info, &status);
receive_chars	626	drivers/char/serial.c	receive_chars(info, &status);
receive_chars	685	drivers/char/serial.c	receive_chars(info, &status);