Symbol: PORT_PIC32
drivers/tty/serial/pic32_uart.c
260
return (port->type == PORT_PIC32) ? PIC32_DEV_NAME : NULL;
drivers/tty/serial/pic32_uart.c
722
port->type = PORT_PIC32;
drivers/tty/serial/pic32_uart.c
730
if (port->type != PORT_PIC32)