Index: sys/kern/kern_clocksource.c
===================================================================
--- sys/kern/kern_clocksource.c
+++ sys/kern/kern_clocksource.c
@@ -142,7 +142,7 @@
 	if (doconfigtimer() || busy)
 		return (FILTER_HANDLED);
 	state = DPCPU_PTR(timerstate);
-	now = state->now;
+	now = sbinuptime();
 	CTR3(KTR_SPARE2, "ipi  at %d:    now  %d.%08x",
 	    curcpu, (int)(now >> 32), (u_int)(now & 0xffffffff));
 	done = handleevents(now, 0);