#include <stdio.h>
#include <typedefs.h>

#define LOG_NOTE 3
#define LOG_WARN 2
#define LOG_ERROR 1
#define LOG_SUCCESS 0

void klog(char *str, int code);
void dump_backtrace(u32 max_frames);