Index: dtrace/usr/src/lib/libdtrace/common/dt_printf.c
===================================================================
--- dtrace.orig/usr/src/lib/libdtrace/common/dt_printf.c
+++ dtrace/usr/src/lib/libdtrace/common/dt_printf.c
@@ -31,6 +31,7 @@
 #include <alloca.h>
 #include <assert.h>
 #include <ctype.h>
+#include <time.h>
 #include <errno.h>
 #include <limits.h>
 #include <sys/socket.h>
@@ -458,7 +459,7 @@ pfprint_time(dtrace_hdl_t *dtp, FILE *fp
 	 * Below, we turn this into the canonical adb/mdb /[yY] format,
 	 * "1973 Dec  3 17:20:00".
 	 */
-	(void) ctime_r(&sec, src, sizeof (src));
+	(void) ctime_r(&sec, src);
 
 	/*
 	 * Place the 4-digit year at the head of the string...