-void IOKitResetTime( void )
-{
- clock_sec_t secs;
- clock_usec_t microsecs;
-
- clock_initialize_calendar();
-
- clock_get_calendar_microtime(&secs, µsecs);
- gIOLastWakeTime.tv_sec = secs;
- gIOLastWakeTime.tv_usec = microsecs;
-
- IOService::updateConsoleUsers(NULL, kIOMessageSystemHasPoweredOn);
-}
-