int main(void)
{
    peripheral_setup();
    while (1) {
    __DSB();// Use of memory barrier is recommended for portability
    __WFI();
    }
}
void Timer0_Handler(void)
{
    // do work
    …
}

volatile int timer_irq_occurred = 0;
int main(void)
{
    peripheral_setup();
    while (1) {
      while (timer_irq_occurred==0) {
        __DSB();// Use of memory barrier is recommended for portability

        __WFE();
        }
      printf ("[Timer IRQ]
");
      …
      timer_irq_occurred = 0;
    }
}
void Timer0_Handler(void)
{
    // do work
    …
    timer_irq_occurred = 1;
}

#include <MKL25Z4.H>
#include "stdio.h"
 
void   LPTimer_Config(void);
void   Low_Power_Config(void);
 
// UART functions
extern void UART_config(void);
extern char UART_putc(char ch);
extern char UART_getc(void);
extern void UART_echo(void);
 
volatile int irq_count=0;
 
int main(void)
{
  SystemCoreClockUpdate();

  UART_config();
 
  printf("Low Power Sleep test
");
  printf("Press ANY key to start …
");
  UART_getc();
  printf("Continue…
");
 
  // Low power optimizations
  Low_Power_Config();
  LPTimer_Config();
 
  // Enable Sleep-on-Exit
  SCB->SCR |= SCB_SCR_SLEEPONEXIT_Msk;
  while(1){
    __DSB();// Use of memory barrier is recommended for portability
    __WFI();
    };
}
// ----------------------------------------
// Configure Low Power Timer
// ----------------------------------------
void LPTimer_Config(void)
{
  SIM->SCGC5 |= SIM_SCGC5_LPTMR_MASK;  // enable access to LPTMR
  LPTMR0->CSR = 0; // Disable timer
  LPTMR0->PSR = LPTMR_PSR_PRESCALE(8)| // Prescalar set to 512, OSCERCLK
                LPTMR_PSR_PCS(3);      // OSCERCLK
  LPTMR0->CMR = 15625;                 // 8MHz / 512 / 15625 = 1Hz
  // Clear pending interrupt if any
  NVIC_ClearPendingIRQ(LPTimer_IRQn);
  // Enable Timer in free running mode
  LPTMR0->CSR = LPTMR_CSR_TIE_MASK | LPTMR_CSR_TEN_MASK | LPTMR_CSR_TCF_MASK;
  // Enable NVIC
  NVIC_EnableIRQ(LPTimer_IRQn);
  return;
}
// ----------------------------------------
// Low Power Timer interrupt handler
// ----------------------------------------
void LPTimer_IRQHandler(void)
{
  irq_count++;
  printf ("[LPTimer_IRQHandler] %d
", irq_count);
  LPTMR0->CSR |= LPTMR_CSR_TCF_MASK;
  return;
}
// ----------------------------------------
// Low Power Configuration
// ----------------------------------------

void Low_Power_Config(void)
{
  // Enable deep sleep mode
  SCB->SCR |= SCB_SCR_SLEEPDEEP_Msk;
  // Enable OSCERCLK in STOP mode
  OSC0->CR |= OSC_CR_EREFSTEN_MASK;
  // Need this for UART and Low Power Timer to continue
  return;
}

// ----------------------------------------
// Low Power Configuration
// ----------------------------------------
void Low_Power_Config(void)
{
  // Enable deep sleep mode
  SCB->SCR |= SCB_SCR_SLEEPDEEP_Msk;
 
  // Enable OSCERCLK in STOP mode
  OSC0->CR |= OSC_CR_EREFSTEN_MASK;
  // Need this for UART and Low Power Timer to continue
 
  // Switch system to run at 1MHz
  SIM->CLKDIV1 = SIM_CLKDIV1_OUTDIV1(7)|SIM_CLKDIV1_OUTDIV4(7);
  // Turn off flash during sleep (Flash Doze)
  SIM->FCFG1 |= SIM_FCFG1_FLASHDOZE_MASK;
 
  MCG->C2 |= MCG_C2_LP_MASK; // Low Power Select
  //Controls whether the FLL or PLL is disabled in 

  //BLPI and BLPE modes. In FBE or PBE modes, setting this
  //bit to 1 will transition the MCG into BLPE mode; 
  //in FBI mode, setting this bit to 1 will transition the MCG
  //into BLPI mode. In any other MCG mode, LP bit has no affect.
  //0 FLL or PLL is not disabled in bypass modes.
  //1 FLL or PLL is disabled in bypass modes (lower power)
 
  MCG->C2 &= ∼MCG_C2_HGO0_MASK;
  // Controls the crystal oscillator mode of operation. 
  // See the Oscillator (OSC) chapter for more details.
  // 0 Configure crystal oscillator for low-power operation.
  // 1 Configure crystal oscillator for high-gain operation.
  // Note: HGO0 of MCG->C2 might already be zero
  // Turn off internal reference clock, as we are
  // using external crystal
 
  MCG->C1 &= ∼MCG_C1_IRCLKEN_MASK;
 
  // Enable Very Low Power modes
  SMC->PMPROT |= SMC_PMPROT_AVLP_MASK;
  // Enable Very-Low-Power Run mode (VLPR)
  // and Very-Low-Power Stop (VLPS)
  SMC->PMCTRL = SMC_PMCTRL_RUNM(2) | // VLPR
                SMC_PMCTRL_STOPM(2); // VLPS
  printf ("Waiting to enter VLPR…
");
  while ((SMC->PMSTAT & 0x7F)!=0x04);
  printf ("VLPR activated!
");
  return;
}