Putting STM32F7508-DK to Sleep

[DRobe.4]

I understand that, in order to put the F750 to sleep AND reduce power supply heat during sleep, we should use:

HAL_PWR_EnterSLEEPMode(PWR_LOWPOWERREGULATOR_ON, PWR_SLEEPENTRY_WFI);

WFI();

But I have not read what happens when the CPU is not sleeping (during an interrupt and after the interrupt)... does the regulator revert to the normal full power type, or is some other command required?

Thanks,