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