/* Power down the USB PLL. 
USERCC2 must have been set by a call to  */
void rcc_usb_pll_off(void)
/* Power down the USB PLL. 
USERCC2 must have been set by a call to  */
void rcc_usb_pll_off(void)
{
	SYSCTL_RCC2 |= SYSCTL_RCC2_USBPWRDN;
}