__PF              150 kern/include/lib.h int snprintf(char *buf, size_t maxlen, const char *fmt, ...) __PF(3,4);
__PF              180 kern/include/lib.h int kprintf(const char *format, ...) __PF(1,2);
__PF              181 kern/include/lib.h void panic(const char *format, ...) __PF(1,2);
__PF               59 kern/include/stdarg.h void vkprintf(const char *fmt, va_list ap) __PF(1,0);
__PF               60 kern/include/stdarg.h int vsnprintf(char *buf, size_t maxlen, const char *fmt, va_list ap) __PF(3,0);
__PF               70 kern/include/stdarg.h               void *clientdata, const char *format, va_list ap) __PF(3,0);