init_fpu();
clear_ts();
+
+#if HYPERVISOR
+ /* Notify hypervisor that we are about to resume */
+ hv_resume();
+#endif
+
IOCPURunPlatformActiveActions();
KDBG(IOKDBG_CODE(DBG_HIBERNATE, 0) | DBG_FUNC_END, start, elapsed,
/* Restart timer interrupts */
rtc_timer_start();
-
#if MONOTONIC
mt_cpu_up(cdp);
#endif /* MONOTONIC */