/* This function determines the size of the flash on the device. */
uint32_t SysCtlFlashSizeGet(void)
/* This function determines the size of the flash on the device. */
uint32_t SysCtlFlashSizeGet(void)
{
    return (2048 * ((HWREG(FLASH_PP) & FLASH_PP_SIZE_M) + 1));
}