#ifndef DEF_MONITOR_H
#define DEF_MONITOR_H

#include "types.h"

void monitor_put(char c);
void monitor_clear();
void monitor_write(char *s);
void monitor_writeHex(uint32_t v);
void monitor_writeDec(uint32_t v);

#define NL monitor_put('\n');
#define TAB monitor_put('\t');
#define WS monitor_put(' ');
#define WHERE { monitor_write("(kernel:");	\
				monitor_write(__FILE__);	\
				monitor_write(":");			\
				monitor_writeDec(__LINE__);	\
				monitor_write(")  "); }

#endif