Symbol: TEGRA_PIN_UART1_RX_PU1