#define __DEBUG_FEATURE_VERSION 1 /* version of debug feature */
#ifdef __KERNEL__
-#include <linux/version.h>
#include <linux/spinlock.h>
#include <linux/kernel.h>
#include <linux/time.h>
void debug_set_level(debug_info_t* id, int new_level);
+void debug_stop_all(void);
+
extern inline debug_entry_t*
debug_event(debug_info_t* id, int level, void* data, int length)
{