tag	line	file	source code
UART_RX	231	kernel/chr_drv/serial.c	ch = serial_in(info, UART_RX);
UART_RX	566	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);
UART_RX	605	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);
UART_RX	627	kernel/chr_drv/serial.c	(void)serial_in(info, UART_RX);    /* read data port to reset things */
UART_RX	1116	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);