kernel: Mark two more functions __printflike.
authorSascha Wildner <saw@online.de>
Thu, 8 Nov 2012 08:50:27 +0000 (09:50 +0100)
committerSascha Wildner <saw@online.de>
Thu, 8 Nov 2012 08:50:27 +0000 (09:50 +0100)
sys/dev/raid/hpt27xx/osm.h
sys/emulation/ndis/subr_ntoskrnl.c

index 27d1a65..e7c1552 100644 (file)
@@ -219,7 +219,7 @@ int os_revalidate_device(void *osext, int target_id);
 HPT_U8 os_get_vbus_seq(void *osext);
 
 /* debug support */
-int  os_printk(char *fmt, ...);
+int  os_printk(char *fmt, ...) __printflike(1, 2);
 
 #if DBG
 extern int hpt_dbg_level;
index 1729883..bb5893f 100644 (file)
@@ -257,7 +257,7 @@ static char *ntoskrnl_strncat(char *, char *, size_t);
 static int ntoskrnl_toupper(int);
 static int ntoskrnl_tolower(int);
 static funcptr ntoskrnl_findwrap(funcptr);
-static uint32_t DbgPrint(char *, ...);
+static uint32_t DbgPrint(char *, ...) __printflike(1, 2);
 static void DbgBreakPoint(void);
 static void KeBugCheckEx(uint32_t, u_long, u_long, u_long, u_long);
 static int32_t KeDelayExecutionThread(uint8_t, uint8_t, int64_t *);