4 files changed, 20 insertions, 17 deletions

diff --git a/kernel/l0/kmain.c b/kernel/l0/kmain.c
index 0a6bed9..2ce3749 100644
--- a/kernel/l0/kmain.c
+++ b/kernel/l0/kmain.c
@@ -24,28 +24,28 @@ void breakpoint_handler(registers_t *regs) {
 void region_test1() {
 	void* p = region_alloc(0x1000, REGION_T_HW, 0);
 	dbg_printf("Allocated one-page region: 0x%p\n", p);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	void* q = region_alloc(0x1000, REGION_T_HW, 0);
 	dbg_printf("Allocated one-page region: 0x%p\n", q);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	void* r = region_alloc(0x2000, REGION_T_HW, 0);
 	dbg_printf("Allocated two-page region: 0x%p\n", r);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	void* s = region_alloc(0x10000, REGION_T_CORE_HEAP, 0);
 	dbg_printf("Allocated 16-page region: 0x%p\n", s);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	region_free(p);
 	dbg_printf("Freed region 0x%p\n", p);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	region_free(q);
 	dbg_printf("Freed region 0x%p\n", q);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	region_free(r);
 	dbg_printf("Freed region 0x%p\n", r);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	region_free(s);
 	dbg_printf("Freed region 0x%p\n", s);
-	dbg_print_region_stats();
+	dbg_print_region_info();
 }
 
 void region_test2() {
@@ -77,7 +77,7 @@ void region_test2() {
 
 void kmalloc_test(void* kernel_data_end) {
 	// Test kmalloc !
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	dbg_printf("Begin kmalloc test...\n");
 	const int m = 200;
 	uint16_t** ptr = kmalloc(m * sizeof(uint32_t));
@@ -88,7 +88,7 @@ void kmalloc_test(void* kernel_data_end) {
 		*ptr[i] = ((i * 211) % 1024);
 	}
 	dbg_printf("Fully allocated.\n");
-	dbg_print_region_stats();
+	dbg_print_region_info();
 	for (int i = 0; i < m; i++) {
 		for (int j = i; j < m; j++) {
 			ASSERT(*ptr[j] == (j * 211) % 1024);
@@ -97,7 +97,7 @@ void kmalloc_test(void* kernel_data_end) {
 	}
 	kfree(ptr);
 	dbg_printf("Kmalloc test OK.\n");
-	dbg_print_region_stats();
+	dbg_print_region_info();
 }
 
 void test_task(void* a) {
@@ -113,7 +113,10 @@ void test_task(void* a) {
 }
 void kernel_init_stage2(void* data) {
 	task_t *tb = new_task(test_task);
-	resume_with_result(tb, 0, false);
+	resume_task_with_result(tb, 0, false);
+
+	dbg_print_region_info();
+	dbg_print_frame_stats();
 
 	while(1) {
 		dbg_printf("a");
diff --git a/kernel/l0/paging.c b/kernel/l0/paging.c
index 93cbc38..9879c9f 100644
--- a/kernel/l0/paging.c
+++ b/kernel/l0/paging.c
@@ -69,7 +69,7 @@ void page_fault_handler(registers_t *regs) {
 
 		if ((size_t)vaddr >= PD_MIRROR_ADDR) {
 			dbg_printf("Fault on access to mirrorred PD at 0x%p\n", vaddr);
-			dbg_print_region_stats();
+			dbg_print_region_info();
 			PANIC("Unhandled kernel space page fault");
 		}
 
@@ -82,7 +82,7 @@ void page_fault_handler(registers_t *regs) {
 		if (i->pf == 0) {
 			dbg_printf("Kernel pagefault in region with no handler at 0x%p\n", vaddr);
 			dbg_dump_registers(regs);
-			dbg_print_region_stats();
+			dbg_print_region_info();
 			PANIC("Unhandled kernel space page fault");
 		}
 		i->pf(get_current_pagedir(), i, vaddr);
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");
diff --git a/kernel/l0/task.c b/kernel/l0/task.c
index 80066d8..cf22f9d 100644
--- a/kernel/l0/task.c
+++ b/kernel/l0/task.c
@@ -168,7 +168,7 @@ void tasking_setup(entry_t cont, void* arg) {
 	task_t *t = new_task(cont);
 	ASSERT(t != 0);
 
-	resume_with_result(t, arg, false);
+	resume_task_with_result(t, arg, false);
 
 	run_scheduler();	// never returns
 	ASSERT(false);
@@ -204,7 +204,7 @@ void* wait_for_result() {
 	return 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) {
 	bool st = disable_interrupts();
 
 	task->has_result = true;