SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOC);\r
GPIODirModeSet(GPIO_PORTC_BASE, mainPUSH_BUTTON, GPIO_DIR_MODE_IN);\r
GPIOIntTypeSet( GPIO_PORTC_BASE, mainPUSH_BUTTON,GPIO_FALLING_EDGE );\r
+ IntPrioritySet( INT_GPIOC, configKERNEL_INTERRUPT_PRIORITY );\r
GPIOPinIntEnable( GPIO_PORTC_BASE, mainPUSH_BUTTON );\r
IntEnable( INT_GPIOC );\r
\r
\r
/* Enable Tx interrupts. */\r
HWREG( UART0_BASE + UART_O_IM ) |= UART_INT_TX;\r
+ IntPrioritySet( INT_UART0, configKERNEL_INTERRUPT_PRIORITY );\r
IntEnable( INT_UART0 );\r
\r
\r