--- src/sys/kern/kern_systimer.c	2007/04/30 07:18:54	1.10
+++ src/sys/kern/kern_systimer.c	2007/10/14 04:52:44	1.11
@@ -131,7 +131,7 @@ systimer_add(systimer_t info)
 {
     struct globaldata *gd = mycpu;
 
-    KKASSERT((info->flags & (SYSTF_ONQUEUE|SYSTF_IPIRUNNING)) == 0);
+    KKASSERT((info->flags & SYSTF_ONQUEUE) == 0);
     crit_enter();
     if (info->gd == gd) {
 	systimer_t scan1;
@@ -163,6 +163,7 @@ systimer_add(systimer_t info)
 	info->queue = &gd->gd_systimerq;
     } else {
 #ifdef SMP
+	KKASSERT((info->flags & SYSTF_IPIRUNNING) == 0);
 	info->flags |= SYSTF_IPIRUNNING;
 	lwkt_send_ipiq(info->gd, (ipifunc1_t)systimer_add, info);
 #else