diff options
| author |   miod <miod@openbsd.org> | 2015-02-06 22:11:49 +0000 |
|---|---|---|
| committer | miod <miod@openbsd.org> | 2015-02-06 22:11:49 +0000 |
| commit | abb4271d88bc9f503c494008f069ebed2916fa03 (patch) | |
| tree | 17a2171b1c6b38806a4b850c794424f2dc2b382d | |
| parent | earlier rev 1.112 sys/net/if_vlan.c corrects the mapping of 802.1p (diff) | |
| download | wireguard-openbsd-abb4271d88bc9f503c494008f069ebed2916fa03.tar.xz wireguard-openbsd-abb4271d88bc9f503c494008f069ebed2916fa03.zip | |
Add __attribute__((__format__(__kprintf__))) to bios_printf()
| -rw-r--r-- | sys/arch/mips64/include/arcbios.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sys/arch/mips64/include/arcbios.h b/sys/arch/mips64/include/arcbios.h index 7e6cc580b8c..e97b67564f2 100644 --- a/sys/arch/mips64/include/arcbios.h +++ b/sys/arch/mips64/include/arcbios.h @@ -1,4 +1,4 @@ -/* $OpenBSD: arcbios.h,v 1.24 2014/02/08 22:13:45 miod Exp $ */ +/* $OpenBSD: arcbios.h,v 1.25 2015/02/06 22:11:49 miod Exp $ */ /*- * Copyright (c) 1996 M. Warner Losh. All rights reserved. * @@ -443,7 +443,8 @@ extern void (*bios_eim)(void); int bios_getchar(void); void bios_putchar(char); void bios_putstring(char *); -void bios_printf(const char *, ...); +void bios_printf(const char *, ...) + __attribute__((__format__(__kprintf__,1,2))); void bios_ident(void); void bios_display_info(int *, int *, int *, int *); |