path: root/Kernel/kstdio.h

#pragma once

#include "kprintf.h"

#ifndef USERLAND
#define printf dbgprintf
#endif