4 files changed, 14 insertions, 15 deletions
diff --git a/src/include/mutexes.h b/src/include/mutexes.h
index 9693ce312..b9b399c86 100644
--- a/src/include/mutexes.h
+++ b/src/include/mutexes.h
@@ -29,7 +29,6 @@
 
 /**
  * Mutex structure.
- * @extends ThreadsQueue
  */
 typedef struct Mutex {
   /** Queue of the threads sleeping on this Mutex.*/
diff --git a/src/include/scheduler.h b/src/include/scheduler.h
index b05db16a2..194187be9 100644
--- a/src/include/scheduler.h
+++ b/src/include/scheduler.h
@@ -32,6 +32,19 @@
 /** Returned when the thread was made ready because of a reset. */
 #define RDY_RESET   -2
 
+/** Pseudo priority used by the ready list header, do not use.*/
+#define NOPRIO      0
+/** Idle thread priority.*/
+#define IDLEPRIO    1
+/** Lowest user priority.*/
+#define LOWPRIO     2
+/** Normal user priority.*/
+#define NORMALPRIO  64
+/** Highest user priority.*/
+#define HIGHPRIO    127
+/** Greatest possible priority.*/
+#define ABSPRIO     255
+
 /** Infinite time specification for all the syscalls with a timeout
     specification.*/
 #define TIME_INFINITE 0
@@ -41,6 +54,7 @@
 
 /**
  * Ready list header.
+ * @extends ThreadsQueue
  */
 typedef struct {
   ThreadsQueue          r_queue;
diff --git a/src/include/semaphores.h b/src/include/semaphores.h
index 787258089..45486874b 100644
--- a/src/include/semaphores.h
+++ b/src/include/semaphores.h
@@ -29,7 +29,6 @@
 
 /**
  * Semaphore structure.
- * @extends ThreadsQueue
  */
 typedef struct {
   /** Queue of the threads sleeping on this Semaphore.*/
diff --git a/src/include/threads.h b/src/include/threads.h
index a3d37a7db..ba136ee85 100644
--- a/src/include/threads.h
+++ b/src/include/threads.h
@@ -149,19 +149,6 @@ struct Thread {
 #define P_TERMINATE             4       /* Termination requested.       */
 #define P_SUSPENDED             8       /* Create suspended (old).      */
 
-/** Pseudo priority used by the ready list header, do not use.*/
-#define NOPRIO      0
-/** Idle thread priority.*/
-#define IDLEPRIO    1
-/** Lowest user priority.*/
-#define LOWPRIO     2
-/** Normal user priority.*/
-#define NORMALPRIO  64
-/** Highest user priority.*/
-#define HIGHPRIO    127
-/** Greatest possible priority.*/
-#define ABSPRIO     255
-
 /* Not an API, don't use into the application code.*/
 Thread *init_thread(Thread *tp, tprio_t prio);