|
@@ -33,7 +33,6 @@ int dbgprintf(const char* fmt, ...);
|
|
int dbgputstr(const char*, int);
|
|
int dbgputstr(const char*, int);
|
|
int kernelputstr(const char*, int);
|
|
int kernelputstr(const char*, int);
|
|
int kprintf(const char* fmt, ...);
|
|
int kprintf(const char* fmt, ...);
|
|
-int sprintf(char* buf, const char* fmt, ...);
|
|
|
|
int snprintf(char* buf, size_t, const char* fmt, ...);
|
|
int snprintf(char* buf, size_t, const char* fmt, ...);
|
|
void set_serial_debug(bool on_or_off);
|
|
void set_serial_debug(bool on_or_off);
|
|
int get_serial_debug();
|
|
int get_serial_debug();
|