/* This function determines the size of the flash on the Stellaris device. */
unsigned long SysCtlFlashSizeGet(void)
/* This function determines the size of the flash on the Stellaris device. */
unsigned long SysCtlFlashSizeGet(void)
{
    return(((HWREG(SYSCTL_DC0) & SYSCTL_DC0_FLASHSZ_M) << 11) + 0x800);
}