Symbol: TEGRA_PIN_UART4_TX_PB0