/* Registers an interrupt handler for the flash interrupt. */
void FlashIntRegister(void(*pfnHandler)(void))
/* Registers an interrupt handler for the flash interrupt. */
void FlashIntRegister(void(*pfnHandler)(void))
{
    IntRegister(INT_FLASH_TM4C123, pfnHandler);
    IntEnable(INT_FLASH_TM4C123);
}