Symbol: TEGRA_PIN_UART1_RX_PE1