CVS commit: src/sys/ddb

[Andrew Doran]

Module Name:    src
Committed By:   ad
Date:           Sat Oct  7 20:00:40 UTC 2023

Modified Files:
        src/sys/ddb: db_output.c db_output.h

Log Message:
Add db_print_timespec().


To generate a diff of this commit:
cvs rdiff -u -r1.36 -r1.37 src/sys/ddb/db_output.c
cvs rdiff -u -r1.22 -r1.23 src/sys/ddb/db_output.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.


Modified files:

Index: src/sys/ddb/db_output.c
diff -u src/sys/ddb/db_output.c:1.36 src/sys/ddb/db_output.c:1.37
--- src/sys/ddb/db_output.c:1.36	Sun Jan 26 01:42:55 2020
+++ src/sys/ddb/db_output.c	Sat Oct  7 20:00:39 2023
@@ -1,4 +1,4 @@
-/*	$NetBSD: db_output.c,v 1.36 2020/01/26 01:42:55 uwe Exp $	*/
+/*	$NetBSD: db_output.c,v 1.37 2023/10/07 20:00:39 ad Exp $	*/
 
 /*
  * Mach Operating System
@@ -35,7 +35,7 @@
 #endif
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: db_output.c,v 1.36 2020/01/26 01:42:55 uwe Exp $");
+__KERNEL_RCSID(0, "$NetBSD: db_output.c,v 1.37 2023/10/07 20:00:39 ad Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -254,3 +254,13 @@ db_format_hex(char *buf, size_t bufsiz, 
 
 	snprintf(buf, bufsiz, fmt, val);
 }
+
+/*
+ * Print out a timespec value.
+ */
+void
+db_print_timespec(struct timespec *ts)
+{
+
+	db_printf("%" PRIu64 ".%09ld", (uint64_t)ts->tv_sec, ts->tv_nsec);
+}

Index: src/sys/ddb/db_output.h
diff -u src/sys/ddb/db_output.h:1.22 src/sys/ddb/db_output.h:1.23
--- src/sys/ddb/db_output.h:1.22	Sun Jun 28 04:06:14 2020
+++ src/sys/ddb/db_output.h	Sat Oct  7 20:00:39 2023
@@ -1,4 +1,4 @@
-/*	$NetBSD: db_output.h,v 1.22 2020/06/28 04:06:14 simonb Exp $	*/
+/*	$NetBSD: db_output.h,v 1.23 2023/10/07 20:00:39 ad Exp $	*/
 
 /*
  * Mach Operating System
@@ -45,6 +45,7 @@ void	db_vprintf(const char *, va_list) _
 void	db_format_radix(char *, size_t, quad_t, int);
 void	db_format_hex(char *, size_t, quad_t, int);
 void	db_end_line(void);
+void	db_print_timespec(struct timespec *);
 
 extern int	db_max_line;
 extern int	db_max_width;