/* This function should be called before entering WAIT/VLPW modes.  */
void SMC_PreEnterWaitModes(void)
/* This function should be called before entering WAIT/VLPW modes.  */
void SMC_PreEnterWaitModes(void)
{
    g_savedPrimask = DisableGlobalIRQ();
    __ISB();
}