--- src/sys/kern/kern_kthread.c	2005/11/22 08:41:03	1.12
+++ src/sys/kern/kern_kthread.c	2006/12/18 20:41:01	1.13
@@ -66,7 +66,7 @@ kthread_create(void (*func)(void *), voi
      * Set up arg0 for 'ps' etc
      */
     __va_start(ap, fmt);
-    vsnprintf(td->td_comm, sizeof(td->td_comm), fmt, ap);
+    kvsnprintf(td->td_comm, sizeof(td->td_comm), fmt, ap);
     __va_end(ap);
 
     /*
@@ -94,7 +94,7 @@ kthread_create_stk(void (*func)(void *),
     KKASSERT(td->td_mpcount == 1);
 #endif
     __va_start(ap, fmt);
-    vsnprintf(td->td_comm, sizeof(td->td_comm), fmt, ap);
+    kvsnprintf(td->td_comm, sizeof(td->td_comm), fmt, ap);
     __va_end(ap);
 
     lwkt_schedule(td);