Symbol: TEGRA_PIN_UART1_TX_PR2