missed files

1 files changed, 37 insertions, 0 deletions

diff --git a/include/litmus/domain.h b/include/litmus/domain.h
new file mode 100644
index 000000000000..eeef068d9ce2
--- /dev/null
+++ b/include/litmus/domain.h
@@ -0,0 +1,37 @@
+/**
+ * --Todo--
+ * Naming: this should become rt_domain while the old rt_domain should be
+ * changed to sd_domain (sporadic) or pd_domain (periodic).
+ */
+#ifndef _LITMUS_DOMAIN_H_
+#define _LITMUS_DOMAIN_H_
+
+struct domain;
+
+typedef void (*requeue_t)(struct domain*, struct task_struct*);
+typedef struct task_struct* (*peek_ready_t)(struct domain*);
+typedef struct task_struct* (*take_ready_t)(struct domain*);
+typedef int (*preempt_needed_t)(struct domain*, struct task_struct*);
+
+typedef struct domain {
+        raw_spinlock_t*         lock; /* for coarse serialization     */
+        struct list_head        list; /* list membership              */
+        void*                   data; /* implementation-specific data */
+
+        /* add a task to the domain */
+        requeue_t               requeue;
+        /* return next ready task */
+        peek_ready_t            peek_ready;
+        /* remove and return next ready task */
+        take_ready_t            take_ready;
+        /* return true if the domain has a higher priority ready task */
+        preempt_needed_t        preempt_needed;
+} domain_t;
+
+void domain_init(domain_t *dom, raw_spinlock_t *lock,
+                 requeue_t requeue,
+                 peek_ready_t peek_ready,
+                 take_ready_t take_ready,
+                 preempt_needed_t preempt_needed);
+
+#endif