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