/* The SRAM power configuration is specified as one of: */
void SysCtlSleepPowerSet(uint32_t ui32Config)
/* The SRAM power configuration is specified as one of: */
void SysCtlSleepPowerSet(uint32_t ui32Config)
{
    HWREG(SYSCTL_SLPPWRCFG) = ui32Config;
}