diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-04-21 22:33:19 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 1996-04-21 22:33:19 +0000 |
| commit | 67d88b0a9910a68bb666b448d2dac29cb4d3d8c2 (patch) | |
| tree | 967b89f6e07398a22bd8c76d30179b648776542d /sys/ddb/db_output.h | |
| parent | ba95d3c1d69cdb251d15a12ebf70f50b0ea2019b (diff) | |
partial sync with netbsd 960418, more to come
Diffstat (limited to 'sys/ddb/db_output.h')
| -rw-r--r-- | sys/ddb/db_output.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/sys/ddb/db_output.h b/sys/ddb/db_output.h index 7385a3ce1d9..3a1f7f7ca1e 100644 --- a/sys/ddb/db_output.h +++ b/sys/ddb/db_output.h @@ -1,4 +1,5 @@ -/* $OpenBSD: db_output.h,v 1.4 1996/03/11 11:16:17 mickey Exp $ */ +/* $OpenBSD: db_output.h,v 1.5 1996/04/21 22:19:07 deraadt Exp $ */ +/* $NetBSD: db_output.h,v 1.9 1996/04/04 05:13:50 cgd Exp $ */ /* * Mach Operating System @@ -35,6 +36,8 @@ void db_force_whitespace __P((void)); void db_putchar __P((int)); int db_print_position __P((void)); -void db_printf __P((const char *, ...)); -void kdbprintf __P((const char *, ...)); +void db_printf __P((const char *, ...)) + __kprintf_attribute__((__format__(__kprintf__,1,2))); +void kdbprintf __P((const char *, ...)) + __kprintf_attribute__((__format__(__kprintf__,1,2))); void db_end_line __P((void)); |