Symbol: TEGRA_PIN_UART3_TX_PD1