PIC32_UART_TX     284 drivers/tty/serial/pic32_uart.c 		pic32_uart_writel(sport, PIC32_UART_TX, port->x_char);
PIC32_UART_TX     311 drivers/tty/serial/pic32_uart.c 		pic32_uart_writel(sport, PIC32_UART_TX, c);
PIC32_UART_TX     707 drivers/tty/serial/pic32_uart.c 	pic32_uart_writel(sport, PIC32_UART_TX, ch & 0xff);