/* Disable the internal oscillator. 
Sets the IOSCDIS bit in SYSCTL_RCC, disabling the internal oscillator.  */
void rcc_disable_interal_osc(void)
/* Disable the internal oscillator. 
Sets the IOSCDIS bit in SYSCTL_RCC, disabling the internal oscillator.  */
void rcc_disable_interal_osc(void)
{
	SYSCTL_RCC |= SYSCTL_RCC_IOSCDIS;
}