Searched refs:power_vdd_src_t (Results 1 – 6 of 6) sorted by relevance
14 static power_vdd_src_t s_vddnSrc = kVddSrc_PMC; /* VDDN supply source, DCDC or PMIC. */15 static power_vdd_src_t s_vdd1Src = kVddSrc_PMC;16 static power_vdd_src_t s_vdd2Src = kVddSrc_PMC;678 void POWER_SetVddnSupplySrc(power_vdd_src_t src) in POWER_SetVddnSupplySrc()689 void POWER_SetVdd1SupplySrc(power_vdd_src_t src) in POWER_SetVdd1SupplySrc()698 void POWER_SetVdd2SupplySrc(power_vdd_src_t src) in POWER_SetVdd2SupplySrc()
568 } power_vdd_src_t; typedef944 void POWER_SetVddnSupplySrc(power_vdd_src_t src);951 void POWER_SetVdd1SupplySrc(power_vdd_src_t src);958 void POWER_SetVdd2SupplySrc(power_vdd_src_t src);
