/* Shut off the Flash and execute the _WFI(), then power up the Flash after wake-up event.  */
void POWER_CycleCpuAndFlash(void)
/* Shut off the Flash and execute the _WFI(), then power up the Flash after wake-up event.  */
void POWER_CycleCpuAndFlash(void)
{
    (*(s_lowpowerDriver->power_cycle_cpu_and_flash))();
}