d2b227cd49
- Call acpi_resync_clock() to reset system time before hardclock is ready to tick. Note we assume the current timecounter hardware and RTC are already available for read operation. Tested by: mav |
||
---|---|---|
.. | ||
acpi_machdep.c | ||
acpi_switch.S | ||
acpi_wakecode.S | ||
acpi_wakeup.c | ||
genwakecode.sh | ||
genwakedata.sh | ||
madt.c | ||
Makefile | ||
OsdEnvironment.c |