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/l0/region.c | |
| 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/l0/region.c')
| -rw-r--r-- | kernel/l0/region.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/l0/region.c b/kernel/l0/region.c index a384a4d..956ec07 100644 --- a/kernel/l0/region.c +++ b/kernel/l0/region.c @@ -371,7 +371,7 @@ void region_free_unmap(void* ptr) { // DEBUG LOG PRINTING FUNCTION // // =========================== // -void dbg_print_region_stats() { +void dbg_print_region_info() { mutex_lock(&ra_mutex); dbg_printf("/ Free kernel regions, by address:\n"); |