If you put an MCU in sleep mode with WFI, such as the STM32L452, you are supposed to suspend the SysTick and resume it after. Usually this is done in the main thread context. However, when you have an interrupt, I believe the next instruction will be...