438 status_t POWER_ConfigRegulatorSetpoints(power_regulator_t regulator,  in POWER_ConfigRegulatorSetpoints()  argument
445     if (regulator == kRegulator_DCDC) /* DCDC with 2 setpoints. */  in POWER_ConfigRegulatorSetpoints()
461     if (regulator != kRegulator_Vdd1LDO) /* Only VDD1 LDO configurable from Sense side. */  in POWER_ConfigRegulatorSetpoints()
477             PMC_REG(0x24U + 4U * ((uint32_t)regulator - 1U)) =  in POWER_ConfigRegulatorSetpoints()
482             PMC_REG(0x30U + 4U * ((uint32_t)regulator - 1U)) =  in POWER_ConfigRegulatorSetpoints()
493 status_t POWER_ConfigLvdSetpoints(power_regulator_t regulator, const power_lvd_voltage_t *lvd)  in POWER_ConfigLvdSetpoints()  argument
498     if (regulator == kRegulator_DCDC) /* DCDC with 2 setpoints. */  in POWER_ConfigLvdSetpoints()
511     if (regulator != kRegulator_Vdd1LDO) /* Only VDD1 LDO configurable from Sense side. */  in POWER_ConfigLvdSetpoints()
525             PMC_REG(0x30U + 4U * ((uint32_t)regulator - 1U)) =  in POWER_ConfigLvdSetpoints()
536 void POWER_GetLvdSetpoints(power_regulator_t regulator, power_lvd_voltage_t *lvd)  in POWER_GetLvdSetpoints()  argument
542     if (regulator == kRegulator_DCDC) /* DCDC with 2 setpoints. */  in POWER_GetLvdSetpoints()
552         reg = PMC_REG(0x30U + 4U * ((uint32_t)regulator - 1U));  in POWER_GetLvdSetpoints()
565 void POWER_SelectRunSetpoint(power_regulator_t regulator, uint32_t setpoint)  in POWER_SelectRunSetpoint()  argument
567     if (regulator == kRegulator_DCDC)  in POWER_SelectRunSetpoint()
573     else if (regulator == kRegulator_Vdd2LDO)  in POWER_SelectRunSetpoint()
587 void POWER_SelectSleepSetpoint(power_regulator_t regulator, uint32_t setpoint)  in POWER_SelectSleepSetpoint()  argument
589     if (regulator == kRegulator_DCDC)  in POWER_SelectSleepSetpoint()
595     else if (regulator == kRegulator_Vdd2LDO)  in POWER_SelectSleepSetpoint()
609 void POWER_SetRunRegulatorMode(power_regulator_t regulator, uint32_t mode)  in POWER_SetRunRegulatorMode()  argument
611     if (regulator == kRegulator_DCDC)  in POWER_SetRunRegulatorMode()
616     else if (regulator == kRegulator_Vdd2LDO)  in POWER_SetRunRegulatorMode()
628 void POWER_SetSleepRegulatorMode(power_regulator_t regulator, uint32_t mode)  in POWER_SetSleepRegulatorMode()  argument
630     if (regulator == kRegulator_DCDC)  in POWER_SetSleepRegulatorMode()
635     else if (regulator == kRegulator_Vdd2LDO)  in POWER_SetSleepRegulatorMode()