🐛 kfree free_kpage #41 (#42)

LunarStore · web-flow · commit 2a1031327e15 · 2023-09-01T22:04:59.000+08:00
diff --git a/src/kernel/arena.c b/src/kernel/arena.c
@@ -131,8 +131,9 @@ void kfree(void *ptr)
             list_remove(block);
             assert(!list_search(&arena->desc->free_list, block));
         }
-        free_kpage((u32)arena, 1);
         arena->desc->page_count--;
         assert(arena->desc->page_count >= BUF_COUNT);
+
+        free_kpage((u32)arena, 1);
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -131,8 +131,9 @@ void kfree(void *ptr)`
`131`	`131`	`list_remove(block);`
`132`	`132`	`assert(!list_search(&arena->desc->free_list, block));`
`133`	`133`	`}`
`134`		`- free_kpage((u32)arena, 1);`
`135`	`134`	`arena->desc->page_count--;`
`136`	`135`	`assert(arena->desc->page_count >= BUF_COUNT);`
	`136`	`+`
	`137`	`+ free_kpage((u32)arena, 1);`
`137`	`138`	`}`
`138`	`139`	`}`