tag	line	file	source code
UART_TX	233	kernel/chr_drv/serial.c	outb_p(info->x_char, UART_TX + info->port);
UART_TX	241	kernel/chr_drv/serial.c	UART_TX + info->port);