1 files changed, 99 insertions, 0 deletions
diff --git a/libdde_linux26/lib/src/arch/l4/local.h b/libdde_linux26/lib/src/arch/l4/local.h
new file mode 100644
index 00000000..d834a9db
--- /dev/null
+++ b/libdde_linux26/lib/src/arch/l4/local.h
@@ -0,0 +1,99 @@
+#ifndef __DDE26_LOCAL_H
+#define __DDE26_LOCAL_H
+
+#include <linux/sched.h>
+
+#include <ddekit/assert.h>
+#include <ddekit/condvar.h>
+#include <ddekit/debug.h>
+#include <ddekit/initcall.h>
+#include <ddekit/interrupt.h>
+#include <ddekit/lock.h>
+#include <ddekit/memory.h>
+#include <ddekit/panic.h>
+#include <ddekit/pci.h>
+#include <ddekit/pgtab.h>
+#include <ddekit/printf.h>
+#include <ddekit/resources.h>
+#include <ddekit/semaphore.h>
+#include <ddekit/thread.h>
+#include <ddekit/types.h>
+#include <ddekit/timer.h>
+
+#include <dde26.h>
+
+#define DDE_DEBUG     1
+#define DDE_FERRET    0
+
+/* Ferret Debugging stuff, note that this is the only point we are using
+ * L4 headers directly and only for debugging. */
+#if DDE_FERRET
+#include <l4/ferret/maj_min.h>
+#include <l4/ferret/client.h>
+#include <l4/ferret/clock.h>
+#include <l4/ferret/types.h>
+#include <l4/ferret/sensors/list_producer.h>
+#include <l4/ferret/sensors/list_producer_wrap.h>
+extern ferret_list_local_t *ferret_ore_sensor;
+#endif
+
+/***
+ * Internal representation of a Linux kernel thread. This struct
+ * contains Linux' data as well as some additional data used by DDE.
+ */
+typedef struct dde26_thread_data
+{
+	/* NOTE: _threadinfo needs to be first in this struct! */
+	struct thread_info  _thread_info;   ///< Linux thread info (see current())
+	ddekit_thread_t    *_ddekit_thread; ///< underlying DDEKit thread
+	ddekit_sem_t       *_sleep_lock;    ///< lock used for sleep_interruptible()
+	struct pid          _vpid;          ///< virtual PID
+} dde26_thread_data;
+
+#define LX_THREAD(thread_data)     ((thread_data)->_thread_info)
+#define LX_TASK(thread_data)       ((thread_data)->_thread_info.task)
+#define DDEKIT_THREAD(thread_data) ((thread_data)->_ddekit_thread)
+#define SLEEP_LOCK(thread_data)    ((thread_data)->_sleep_lock)
+#define VPID_P(thread_data)        (&(thread_data)->_vpid)
+
+#if DDE_DEBUG
+#define WARN_UNIMPL         printk("unimplemented: %s\n", __FUNCTION__)
+#define DEBUG_MSG(msg, ...) printk("%s: \033[36m"msg"\033[0m\n", __FUNCTION__, ##__VA_ARGS__)
+
+#define DECLARE_INITVAR(name) \
+	static struct { \
+		int _initialized; \
+		char *name; \
+	} init_##name = {0, #name,}
+
+#define INITIALIZE_INITVAR(name) init_##name._initialized = 1
+
+#define CHECK_INITVAR(name) \
+	if (init_##name._initialized == 0) { \
+		printk("DDE26: \033[31;1mUsing uninitialized subsystem: "#name"\033[0m\n"); \
+		BUG(); \
+	}
+
+#else /* !DDE_DEBUG */
+
+#define WARN_UNIMPL                do {} while(0)
+#define DEBUG_MSG(...)             do {} while(0)
+#define DECLARE_INITVAR(name)
+#define CHECK_INITVAR(name)        do {} while(0)
+#define INITIALIZE_INITVAR(name)   do {} while(0)
+
+#endif
+
+/* since _thread_info always comes first in the thread_data struct,
+ * we can derive the dde26_thread_data from a task struct by simply
+ * dereferencing its thread_info pointer
+ */
+static dde26_thread_data *lxtask_to_ddethread(struct task_struct *t)
+{
+	return (dde26_thread_data *)(task_thread_info(t));
+}
+
+extern struct thread_info init_thread;
+extern struct task_struct init_task;
+
+#endif