Symbol: TEGRA_PIN_UART1_RX_PR3