diff options
| -rw-r--r-- | sys/dev/acpica/Osd/OsdSchedule.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sys/dev/acpica/Osd/OsdSchedule.c b/sys/dev/acpica/Osd/OsdSchedule.c index 70717d5..32d49bc 100644 --- a/sys/dev/acpica/Osd/OsdSchedule.c +++ b/sys/dev/acpica/Osd/OsdSchedule.c @@ -245,8 +245,7 @@ AcpiOsGetTimer(void) UINT64 t; /* XXX During early boot there is no (decent) timer available yet. */ - if (cold) - panic("acpi: timer op not yet supported during boot"); + KASSERT(cold == 0, ("acpi: timer op not yet supported during boot")); binuptime(&bt); t = ((UINT64)10000000 * (uint32_t)(bt.frac >> 32)) >> 32; |
