/* Disable the main oscillator. 
Sets the IOSCDIS bit in SYSCTL_RCC, disabling the main oscillator.  */
void rcc_disable_main_osc(void)
/* Disable the main oscillator. 
Sets the IOSCDIS bit in SYSCTL_RCC, disabling the main oscillator.  */
void rcc_disable_main_osc(void)
{
	SYSCTL_RCC |= SYSCTL_RCC_MOSCDIS;
}