From 77e9ef0ca61fbca5fc923f48d6e5ef64e83ded7e Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 21 May 2017 23:39:04 +0200 Subject: [PATCH] add additional debug messages --- kernel/tasks.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/kernel/tasks.c b/kernel/tasks.c index cd92d1010..3a632785a 100644 --- a/kernel/tasks.c +++ b/kernel/tasks.c @@ -674,6 +674,8 @@ int wakeup_task(tid_t id) core_id = task->last_core; if (task->status == TASK_BLOCKED) { + LOG_DEBUG("wakeup task %d\n", id); + task->status = TASK_READY; ret = 0; @@ -711,6 +713,8 @@ int block_task(tid_t id) core_id = task->last_core; if (task->status == TASK_RUNNING) { + LOG_DEBUG("block task %d\n", id); + task->status = TASK_BLOCKED; spinlock_irqsave_lock(&readyqueues[core_id].lock);