hptrr(4): Add a __printflike().
authorSascha Wildner <saw@online.de>
Sat, 4 Aug 2012 09:11:21 +0000 (11:11 +0200)
committerSascha Wildner <saw@online.de>
Sat, 4 Aug 2012 09:11:21 +0000 (11:11 +0200)
sys/dev/raid/hptrr/osm.h

index 1fc8d7d..c0fd656 100644 (file)
@@ -185,7 +185,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 hptrr_dbg_level;