/* This function configures and then enables an alternative PLL clock source for the DC-DC converters.  */
void mxs_power_switch_dcdc_clocksource(uint32_t freqsel)
/* This function configures and then enables an alternative PLL clock source for the DC-DC converters.  */
void mxs_power_switch_dcdc_clocksource(uint32_t freqsel)
{
	struct mxs_power_regs *power_regs =
		(struct mxs_power_regs *)MXS_POWER_BASE;
	clrsetbits_le32(&power_regs->hw_power_misc,
			POWER_MISC_FREQSEL_MASK,
			freqsel);
	setbits_le32(&power_regs->hw_power_misc,
			POWER_MISC_SEL_PLLCLK);
}