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