--- //depot/vendor/freebsd/src/sys/kern/kern_resource.c 2007/07/17 01:12:20
+++ //depot/user/attilio/attilio_smpng/kern/kern_resource.c     2007/09/02 00:31
:18
@@ -44,6 +44,7 @@
 #include <sys/sysproto.h>
 #include <sys/file.h>
 #include <sys/kernel.h>
+#include <sys/ktr.h>
 #include <sys/lock.h>
 #include <sys/malloc.h>
 #include <sys/mutex.h>
@@ -869,9 +870,8 @@
        }
        tu = cputick2usec(ruxp->rux_runtime);
        if ((int64_t)tu < 0) {
-               /* XXX: this should be an assert /phk */
-               printf("calcru: negative runtime of %jd usec for pid %d (%s)\n",
-                   (intmax_t)tu, p->p_pid, p->p_comm);
+               CTR3(KTR_INTR, "calcru: negative runtime of %jd usec for "
+                   " pid %d (%s)\n", (intmax_t)tu, p->p_pid, p->p_comm);
                tu = ruxp->rux_tu;
        }
 
@@ -908,10 +908,9 @@
                 * serious, so lets keep it and hope laptops can be made
                 * more truthful about their CPU speed via ACPI.
                 */
-               printf("calcru: runtime went backwards from %ju usec "
-                   "to %ju usec for pid %d (%s)\n",
-                   (uintmax_t)ruxp->rux_tu, (uintmax_t)tu,
-                   p->p_pid, p->p_comm);
+               CTR4(KTR_INTR, "calcru: runtime went backwards from %ju usec "
+                   "to %ju usec for pid %d (%s)\n", (uintmax_t)ruxp->rux_tu,
+                   (uintmax_t)tu, p->p_pid, p->p_comm);
                uu = (tu * ut) / tt;
                su = (tu * st) / tt;
        }