Kernel/kstdio.h


1
2
3
4
5
6
7
8
9
10
11

#pragma once

extern "C" {
int dbgprintf(const char* fmt, ...);
int kprintf(const char* fmt, ...);
int ksprintf(char* buf, const char* fmt, ...);
}

#ifndef USERLAND
#    define printf dbgprintf
#endif