/* Power up the main PLL. 
USERCC2 must have been set by a call to  */
void rcc_pll_on(void)
/* Power up the main PLL. 
USERCC2 must have been set by a call to  */
void rcc_pll_on(void)
{
	SYSCTL_RCC2 &= ~SYSCTL_RCC2_PWRDN2;
}