2018-10-16 12:33:16 +00:00
|
|
|
#pragma once
|
|
|
|
|
2019-07-21 19:43:37 +00:00
|
|
|
#include <AK/Types.h>
|
|
|
|
|
2019-04-10 20:49:11 +00:00
|
|
|
extern "C" {
|
2019-05-28 09:53:16 +00:00
|
|
|
int dbgprintf(const char* fmt, ...);
|
2019-07-21 19:43:37 +00:00
|
|
|
int dbgputstr(const char*, int);
|
2019-05-28 09:53:16 +00:00
|
|
|
int kprintf(const char* fmt, ...);
|
|
|
|
int ksprintf(char* buf, const char* fmt, ...);
|
2019-08-11 04:43:38 +00:00
|
|
|
void set_serial_debug(bool on_or_off);
|
|
|
|
int get_serial_debug();
|
2019-04-10 20:49:11 +00:00
|
|
|
}
|
2019-01-10 21:52:14 +00:00
|
|
|
|
2019-01-13 03:31:16 +00:00
|
|
|
#ifndef USERLAND
|
2019-05-28 09:53:16 +00:00
|
|
|
# define printf dbgprintf
|
2019-01-13 03:31:16 +00:00
|
|
|
#endif
|
2019-06-22 19:21:57 +00:00
|
|
|
|
|
|
|
#ifndef __serenity__
|
|
|
|
#define dbgprintf printf
|
|
|
|
#endif
|