void GPIOIntTypeSet(uint32_t ui32Port, uint8_t ui8Pins, uint32_t ui32IntType)
#define GPIO_PIN_TYPE_STD_WPU
void GPIOPadConfigSet(uint32_t ui32Port, uint8_t ui8Pins, uint32_t ui32Strength, uint32_t ui32PinType)
void GPIOIntEnable(uint32_t ui32Port, uint32_t ui32IntFlags)
#define GPIO_STRENGTH_2MA
#define INT_GPIOF_TM4C123
void IntDisable(uint32_t ui32Interrupt)
void GPIODirModeSet(uint32_t ui32Port, uint8_t ui8Pins, uint32_t ui32PinIO)
void IntEnable(uint32_t ui32Interrupt)