#ifndef KERNEL_PRINTK_H_
#define KERNEL_PRINTK_H_

#include <kernel/console.h>

#undef TRACE

#ifdef __cplusplus
extern "C" {
#endif

#ifdef TRACE
#define tracek(...) printk(__VA_ARGS__)
#else
#define tracek(...)
#endif

extern void early_printk_init(struct console *con);
extern int printk(const char *format, ...);

#ifdef __cplusplus
}
#endif

#endif