Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision a9f1372b10ddc3484d0e257123b300c46a7ef03e)
+++ kernel/generic/src/synch/waitq.c	(revision b7398c034409791e32e89439b6f1e7e895d99e10)
@@ -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);
+}
+
 /** @}
  */