/* This function should be called before entering low power modes.  */
void CMC_PreEnterLowPowerMode(void)
/* This function should be called before entering low power modes.  */
void CMC_PreEnterLowPowerMode(void)
{
    g_savedPrimask = DisableGlobalIRQ();
    __ISB();
}