Symbol: TEGRA_PIN_SOC_GPIO139_PP1