nRF52: Time from calling __WFI() to HFINT turn off?

[CurtisHx]

Assuming that all peripherals that require the high frequency clock are disabled / turned off / stopped, how long does the HFINT oscillator run after calling __WFI()?

And if it's greater than 1ms or so, is there any way to shut it off faster?

[CurtisHx]

If HFCLK is already powered down by the time __WFI() is called, then what's the CPU running off of?

[Susheel Nuguru]

I understand. Like I said, i am pretty sure it should not take more than few HFCLK cycles. I got this confirmed from the hardware designer.