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/region.h | |
| parent | 64a71038a21f42874175ab210a64bf6bbc6dd6f5 (diff) | |
| download | kogata-0a88479bf59b8f6dcea55340cb121bc644f4cfac.tar.gz kogata-0a88479bf59b8f6dcea55340cb121bc644f4cfac.zip | |
Rename functions :
- dbg_print_region_stats -> dbg_print_region_info
- resume_with_result -> resume_task_with_result
Diffstat (limited to 'kernel/include/region.h')
| -rw-r--r-- | kernel/include/region.h | 2 |
1 files changed, 1 insertions, 1 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 :*/ |