/* This function will clear the handler to be called when a system control interrupt occurs. This will also mask off the interrupt in the interrupt controller so that the interrupt handler no longer is called. */
void SysCtlIntUnregister(void)
/* This function will clear the handler to be called when a system control interrupt occurs. This will also mask off the interrupt in the interrupt controller so that the interrupt handler no longer is called. */
void SysCtlIntUnregister(void)
{
    IntDisable(INT_SYSCTL);
    IntUnregister(INT_SYSCTL);
}