extern void dbugprintf(const char *format, ...) __printflike(1,2);
extern int kdb_printf(const char *format, ...) __printflike(1,2);
extern int kdb_log(const char *format, ...) __printflike(1,2);
extern void dbugprintf(const char *format, ...) __printflike(1,2);
extern int kdb_printf(const char *format, ...) __printflike(1,2);
extern int kdb_log(const char *format, ...) __printflike(1,2);