__kprintf__        40 ddb/db_output.h     __attribute__((__format__(__kprintf__,1,2)));
__kprintf__        71 sys/mplock.h       __attribute__((__format__(__kprintf__,1,2)));
__kprintf__       214 sys/syslog.h       __attribute__((__format__(__kprintf__,2,3)));
__kprintf__       216 sys/syslog.h       __attribute__((__format__(__kprintf__,1,2)));
__kprintf__       155 sys/systm.h        __attribute__((__noreturn__,__format__(__kprintf__,1,2)));
__kprintf__       159 sys/systm.h        __attribute__((__format__(__kprintf__,1,2)));
__kprintf__       161 sys/systm.h        __attribute__((__format__(__kprintf__,1,2)));
__kprintf__       165 sys/systm.h        __attribute__((__format__(__kprintf__,3,4)));
__kprintf__       168 sys/systm.h        __attribute__((__format__(__kprintf__,2,3)));
__kprintf__        41 sys/tprintf.h      __attribute__((__format__(__kprintf__,2,3)));