Symbol: TEGRA_PIN_UART1_TX_PU0