From 0a88479bf59b8f6dcea55340cb121bc644f4cfac Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Mon, 8 Dec 2014 13:52:11 +0100 Subject: Rename functions : - dbg_print_region_stats -> dbg_print_region_info - resume_with_result -> resume_task_with_result --- kernel/l0/task.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kernel/l0/task.c') diff --git a/kernel/l0/task.c b/kernel/l0/task.c index 80066d8..cf22f9d 100644 --- a/kernel/l0/task.c +++ b/kernel/l0/task.c @@ -168,7 +168,7 @@ void tasking_setup(entry_t cont, void* arg) { task_t *t = new_task(cont); ASSERT(t != 0); - resume_with_result(t, arg, false); + resume_task_with_result(t, arg, false); run_scheduler(); // never returns ASSERT(false); @@ -204,7 +204,7 @@ void* wait_for_result() { return result; } -void resume_with_result(task_t *task, void* data, bool run_at_once) { +void resume_task_with_result(task_t *task, void* data, bool run_at_once) { bool st = disable_interrupts(); task->has_result = true; -- cgit v1.2.3