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/include/region.h | 2 +- kernel/include/task.h | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'kernel/include') diff --git a/kernel/include/region.h b/kernel/include/region.h index b45a85d..d7a47c4 100644 --- a/kernel/include/region.h +++ b/kernel/include/region.h @@ -43,6 +43,6 @@ void region_free_unmap_free(void* addr); // region_free_unmap : deletes a region and unmaps all frames that were mapped in it, without freeing them void region_free_unmap(void* addr); -void dbg_print_region_stats(); +void dbg_print_region_info(); /* vim: set ts=4 sw=4 tw=0 noet :*/ diff --git a/kernel/include/task.h b/kernel/include/task.h index b7dc02f..0faa8b3 100644 --- a/kernel/include/task.h +++ b/kernel/include/task.h @@ -35,13 +35,13 @@ typedef struct task { typedef void (*entry_t)(void*); void tasking_setup(entry_t cont, void* data); // never returns -task_t *new_task(entry_t entry); // task is PAUSED, and must be resume_with_result'ed +task_t *new_task(entry_t entry); // task is PAUSED, and must be resume_task_with_result'ed extern task_t *current_task; void yield(); void* wait_for_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); /* vim: set ts=4 sw=4 tw=0 noet :*/ -- cgit v1.2.3