From 0e50ada984473de20ba47c2ebdbe36b3dad78dd1 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Tue, 10 Mar 2015 20:23:13 +0100 Subject: Add mutex to pciide driver (fixes some stuff) --- src/kernel/core/thread.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/kernel/core') diff --git a/src/kernel/core/thread.c b/src/kernel/core/thread.c index 1689433..3086be0 100644 --- a/src/kernel/core/thread.c +++ b/src/kernel/core/thread.c @@ -124,6 +124,8 @@ void run_scheduler() { } current_thread = dequeue_thread(); + /*dbg_printf("[0x%p]\n", current_thread);*/ + if (current_thread != 0) { thread_t *ptr = current_thread; prng_add_entropy((uint8_t*)&ptr, sizeof(ptr)); -- cgit v1.2.3