diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-21 19:34:47 +0200 |
| commit | a2952398e5de8746a761a59686619d08d376bce3 (patch) | |
| tree | df2373bb1119468873c667624769455c36dc3786 /ddb/db_output.h | |
| parent | ba1b3afd50913473f3036a63b4a82d7ba5c42009 (diff) | |
| parent | 92e98a7f4d4fa75b286a067e1d1caef514fccb0d (diff) | |
Merge branch 'master' into master-gdb_stubs
Diffstat (limited to 'ddb/db_output.h')
| -rw-r--r-- | ddb/db_output.h | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/ddb/db_output.h b/ddb/db_output.h index 1159c6ba..497ae430 100644 --- a/ddb/db_output.h +++ b/ddb/db_output.h @@ -32,9 +32,15 @@ * Printing routines for kernel debugger. */ +#ifndef _DDB_DB_OUTPUT_H_ +#define _DDB_DB_OUTPUT_H_ + extern void db_force_whitespace(void); -extern int db_print_position(void); +extern int db_print_position(void) __attribute__ ((pure)); extern void db_end_line(void); extern void db_printf(const char *fmt, ...); +/* alternate name */ +#define kdbprintf db_printf extern void db_putchar(int c); -extern void kdbprintf(const char *fmt, ...); + +#endif /* _DDB_DB_OUTPUT_H_ */ |