/* This function determines the size of the SRAM on the device. */
uint32_t SysCtlSRAMSizeGet(void)
/* This function determines the size of the SRAM on the device. */
uint32_t SysCtlSRAMSizeGet(void)
{
    return ((HWREG(FLASH_SSIZE) + 1) * 256);
}