Index: kern_timeout.c
===================================================================
--- kern_timeout.c	(revision 238497)
+++ kern_timeout.c	(working copy)
@@ -959,7 +959,7 @@
 			c->c_flags |= CALLOUT_DFRMIGRATION;
 			CTR6(KTR_CALLOUT,
 		    "migration of %p func %p arg %p in %d.%08x to %u deferred",
-			    c, c->c_func, c->c_arg, (int)(to_bt.sec), 
+			    c, c->c_func, c->c_arg, to_bt.sec, 
 			    (u_int)(to_bt.frac >> 32), cpu);
 			CC_UNLOCK(cc);
 			return (cancelled);
@@ -970,7 +970,7 @@
 
 	callout_cc_add(c, cc, to_bt, ftn, arg, cpu, flags);
 	CTR6(KTR_CALLOUT, "%sscheduled %p func %p arg %p in %d.%08x",
-	    cancelled ? "re" : "", c, c->c_func, c->c_arg, (int)(to_bt.sec), 
+	    cancelled ? "re" : "", c, c->c_func, c->c_arg, to_bt.sec, 
 	    (u_int)(to_bt.frac >> 32));
 	CC_UNLOCK(cc);