Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/src/synch/waitq.c	(revision 5df79286ec53ba587ac1719375829cb7f78acfe9)
@@ -505,4 +505,32 @@
 }
 
+/** Get the missed wakeups count.
+ *
+ * @param wq	Pointer to wait queue.
+ * @return	The wait queue's missed_wakeups count.
+ */
+int waitq_count_get(waitq_t *wq)
+{
+	int cnt;
+
+	irq_spinlock_lock(&wq->lock, true);
+	cnt = wq->missed_wakeups;
+	irq_spinlock_unlock(&wq->lock, true);
+
+	return cnt;
+}
+
+/** Set the missed wakeups count.
+ *
+ * @param wq	Pointer to wait queue.
+ * @param val	New value of the missed_wakeups count.
+ */
+void waitq_count_set(waitq_t *wq, int val)
+{
+	irq_spinlock_lock(&wq->lock, true);
+	wq->missed_wakeups = val;
+	irq_spinlock_unlock(&wq->lock, true);
+}
+
 /** @}
  */