/* This function should be called after wake up from WAIT/VLPW modes. It is used with ref SMC_PreEnterWaitModes.  */
void SMC_PostExitWaitModes(void)
/* This function should be called after wake up from WAIT/VLPW modes. It is used with ref SMC_PreEnterWaitModes.  */
void SMC_PostExitWaitModes(void)
{
    EnableGlobalIRQ(g_savedPrimask);
    __ISB();
}