diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-08 13:52:11 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-08 13:52:11 +0100 |
| commit | 0a88479bf59b8f6dcea55340cb121bc644f4cfac (patch) | |
| tree | 53afe69b3ec38174c10a9583d0c3c10c1e558f72 /kernel/include | |
| parent | 64a71038a21f42874175ab210a64bf6bbc6dd6f5 (diff) | |
| download | macroscope-0a88479bf59b8f6dcea55340cb121bc644f4cfac.tar.gz macroscope-0a88479bf59b8f6dcea55340cb121bc644f4cfac.zip | |
Rename functions :
- dbg_print_region_stats -> dbg_print_region_info
- resume_with_result -> resume_task_with_result
Diffstat (limited to 'kernel/include')
| -rw-r--r-- | kernel/include/region.h | 2 | ||||
| -rw-r--r-- | kernel/include/task.h | 4 |
2 files changed, 3 insertions, 3 deletions
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 :*/ |