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/task.h | |
| 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/task.h')
| -rw-r--r-- | kernel/include/task.h | 4 |
1 files changed, 2 insertions, 2 deletions
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 :*/ |