Add -Wformat explicitly wherever -Wformat-security appears
[barrelfish] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 17468 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 20461 cap_delete.c
-rw-r--r-- 42150 capabilities.c
-rw-r--r-- 1332 coreboot.c
-rw-r--r-- 16959 dispatch.c
-rw-r--r-- 13970 gdb_stub.c
drwxr-xr-x - include
-rw-r--r-- 3646 kcb.c
-rw-r--r-- 1833 memmove.c
-rw-r--r-- 5061 memset.c
-rw-r--r-- 2442 microbenchmarks.c
-rw-r--r-- 13158 monitor.c
-rw-r--r-- 9869 paging_generic.c
-rw-r--r-- 19797 printf.c
-rw-r--r-- 18544 schedule_rbed.c
-rw-r--r-- 4377 schedule_rr.c
-rw-r--r-- 15142 startup.c
-rw-r--r-- 2197 stdlib.c
-rw-r--r-- 4013 string.c
-rw-r--r-- 4245 sys_debug.c
-rw-r--r-- 20144 syscall.c
-rw-r--r-- 1815 timer.c
-rw-r--r-- 715 useraccess.c
-rw-r--r-- 3177 wakeup.c