Changes in kernel/generic/include/proc/scheduler.h [da1bafb:98000fb] in mainline

File:

• kernel/generic/include/proc/scheduler.h (modified) (2 diffs)

kernel/generic/include/proc/scheduler.h

@@ -37 +37 @@
 
 #include <synch/spinlock.h>
-#include <time/clock.h>
-#include <typedefs.h>
+#include <time/clock.h>         /* HZ */
 #include <atomic.h>
 #include <adt/list.h>
 
-#define RQ_COUNT          16
-#define NEEDS_RELINK_MAX  (HZ)
+#define RQ_COUNT                16
+#define NEEDS_RELINK_MAX        (HZ)
 
 /** Scheduler run queue structure. */
 typedef struct {
-        IRQ_SPINLOCK_DECLARE(lock);
-        link_t rq_head;              /**< List of ready threads. */
-        size_t n;                    /**< Number of threads in rq_ready. */
+        SPINLOCK_DECLARE(lock);
+        link_t rq_head;         /**< List of ready threads. */
+        size_t n;               /**< Number of threads in rq_ready. */
 } runq_t;
 
@@ -62 +61 @@
 
 /*
- * To be defined by architectures.
+ * To be defined by architectures:
  */
 extern void before_task_runs_arch(void);