format             77 kernel/defs.h  int             printk(char*, ...) __attribute__ ((format (printf, 1, 2)));
format             45 user/user.h    void fprintf(int, const char *, ...) __attribute__((format(printf, 2, 3)));
format             46 user/user.h    void printf(const char *, ...) __attribute__((format(printf, 1, 2)));