#include "immediate.h"
//ust// #include <linux/ltt-channels.h>
#include "kernelcompat.h"
-#include "compiler.h"
#include <kcompat/list.h>
+#include "localerr.h"
//ust// struct module;
//ust// struct task_struct;
\
static void __attribute__((constructor)) __markers__init(void) \
{ \
+ DBG("next registration in "__FILE__"\n");\
marker_register_lib(__start___markers, (((long)__stop___markers)-((long)__start___markers))/sizeof(struct marker));\
}
-void marker_set_new_marker_cb(void (*cb)(struct marker *));
-
-void init_markers(void);
+extern void marker_set_new_marker_cb(void (*cb)(struct marker *));
+extern void init_markers(void);
#endif