aboutsummaryrefslogtreecommitdiff
path: root/kernel/l0/kmain.c
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-12-06 19:31:05 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-12-06 19:31:05 +0100
commita48466109f59d507f9108635a5dc4ec865173f85 (patch)
treefea09e9e54d40352a25a885b361d694d40b7417b /kernel/l0/kmain.c
parentff27e3d5ca61fb6234b0876dc3368d0e5dfc5a95 (diff)
downloadmacroscope-a48466109f59d507f9108635a5dc4ec865173f85.tar.gz
macroscope-a48466109f59d507f9108635a5dc4ec865173f85.zip
Clean slab_alloc. Bug still here.
Diffstat (limited to 'kernel/l0/kmain.c')
-rw-r--r--kernel/l0/kmain.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/l0/kmain.c b/kernel/l0/kmain.c
index 8cb370a..97b5a97 100644
--- a/kernel/l0/kmain.c
+++ b/kernel/l0/kmain.c
@@ -31,10 +31,12 @@ void test_pf_handler(pagedir_t *pd, region_info_t *i, void* addr) {
void* page_alloc_fun_for_kmalloc(size_t bytes) {
void* addr = region_alloc(bytes, REGION_T_CORE_HEAP, test_pf_handler);
+ dbg_printf("Alloc %p bytes for kmalloc at: %p\n", bytes, addr);
return addr;
}
void page_free_fun_for_kmalloc(void* ptr) {
region_info_t *i = find_region(ptr);
+ ASSERT(i != 0 && i->type == REGION_T_CORE_HEAP);
for (void* x = i->addr; x < i->addr + i->size; x += PAGE_SIZE) {
uint32_t f = pd_get_frame(x);
if (f != 0) {