Symbol: TEGRA_PIN_SOC_GPIO13_PG0