Changes in kernel/generic/src/synch/waitq.c [d99c1d2:6ec34bb] in mainline

File:

• kernel/generic/src/synch/waitq.c (modified) (3 diffs)

kernel/generic/src/synch/waitq.c

@@ -54 +54 @@
 #include <context.h>
 #include <adt/list.h>
+#include <arch/cycle.h>
 
 static void waitq_sleep_timed_out(void *data);
@@ -373 +374 @@
                 if (!context_save(&THREAD->sleep_interruption_context)) {
                         /* Short emulation of scheduler() return code. */
+                        THREAD->last_cycle = get_cycle();
                         spinlock_unlock(&THREAD->lock);
                         return ESYNCH_INTERRUPTED;
@@ -385 +387 @@
                 if (!context_save(&THREAD->sleep_timeout_context)) {
                         /* Short emulation of scheduler() return code. */
+                        THREAD->last_cycle = get_cycle();
                         spinlock_unlock(&THREAD->lock);
                         return ESYNCH_TIMEOUT;