tag	line	file	source code
UART_RX	217	kernel/chr_drv/serial.c	ch = serial_in(info, UART_RX);
UART_RX	530	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);
UART_RX	569	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);
UART_RX	603	kernel/chr_drv/serial.c	(void)serial_in(info, UART_RX);    /* read data port to reset things */
UART_RX	1345	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);