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