Symbol: TEGRA_PIN_SOC_GPIO40_PN2