Index: sys/kern/kern_clocksource.c
===================================================================
--- sys/kern/kern_clocksource.c
+++ sys/kern/kern_clocksource.c
@@ -757,10 +757,9 @@
 		now = sbinuptime();
 	CTR3(KTR_SPARE2, "idle at %d:    now  %d.%08x",
 	    curcpu, (int)(now >> 32), (u_int)(now & 0xffffffff));
-	t = getnextcpuevent(1);
 	ET_HW_LOCK(state);
 	state->idle = 1;
-	state->nextevent = t;
+	state->nextevent = t = getnextcpuevent(1);
 	if (!periodic)
 		loadtimer(now, 0);
 	ET_HW_UNLOCK(state);