#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