#ifndef MISDN_PRINTK_H
#define MISDN_PRINTK_H

#include <stdint.h>
#include "../libdebug/debug.h"

#define KERN_DEBUG	"0"
#define KERN_INFO	"1"
#define KERN_NOTICE	"2"
#define KERN_WARNING	"2"
#define KERN_ERR	"3"

void printk(const char *fmt, ...) __attribute__ ((__format__ (__printf__, 1, 2)));

#endif