change more __kprintf__ format attributes to use __kprintf_attribute__,

rather than just __attribute__, so they can be #defined out on non-NetBSD
versions of gcc.
This commit is contained in:
cgd 1996-04-04 05:13:50 +00:00
parent 5645e460ac
commit 34829de7f9
1 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
/* $NetBSD: db_output.h,v 1.8 1996/03/31 21:43:17 christos Exp $ */
/* $NetBSD: db_output.h,v 1.9 1996/04/04 05:13:50 cgd Exp $ */
/*
* Mach Operating System
@ -36,7 +36,7 @@ void db_force_whitespace __P((void));
void db_putchar __P((int));
int db_print_position __P((void));
void db_printf __P((const char *, ...))
__attribute__((__format__(__kprintf__,1,2)));
__kprintf_attribute__((__format__(__kprintf__,1,2)));
void kdbprintf __P((const char *, ...))
__attribute__((__format__(__kprintf__,1,2)));
__kprintf_attribute__((__format__(__kprintf__,1,2)));
void db_end_line __P((void));