/* Enable the PLL bypass and use the oscillator clock. 
USERCC2 must have been set by a call to  */
void rcc_pll_bypass_enable(void)
/* Enable the PLL bypass and use the oscillator clock. 
USERCC2 must have been set by a call to  */
void rcc_pll_bypass_enable(void)
{
	SYSCTL_RCC2 |= SYSCTL_RCC2_BYPASS2;
}