Code:
// Interrupt PORT A
int32_t i32Val;
//
GPIOIntRegister(GPIO_PORTA_BASE, PortAIntHandler);
GPIOPinTypeGPIOInput(GPIO_PORTA_BASE, GPIO_PIN_5);
GPIOIntTypeSet(GPIO_PORTA_BASE, GPIO_PIN_5, GPIO_HIGH_LEVEL);
i32Val = GPIOPinRead(GPIO_PORTA_BASE,GPIO_PIN_5);
GPIOIntEnable(GPIO_PORTA_BASE,GPIO_PIN_5);