/* Disable the PLL bypass and use the PLL clock. 
USERCC2 must have been set by a call to  */
void rcc_pll_bypass_disable(void)
/* Disable the PLL bypass and use the PLL clock. 
USERCC2 must have been set by a call to  */
void rcc_pll_bypass_disable(void)
{
	SYSCTL_RCC2 &= ~SYSCTL_RCC2_BYPASS2;
}