Symbol: TEGRA_PIN_UART2_TXD_PC2