tag	line	file	source code
UART_RX	245	kernel/chr_drv/serial.c	ch = serial_inp(info, UART_RX);
UART_RX	607	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);
UART_RX	646	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);
UART_RX	680	kernel/chr_drv/serial.c	(void)serial_in(info, UART_RX);    /* read data port to reset things */
UART_RX	1519	kernel/chr_drv/serial.c	(void)serial_inp(info, UART_RX);