#ifndef MANGO_PRINTK_H_
#define MANGO_PRINTK_H_

#include <mango/console.h>

#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