diff --git a/kernel-src/mm/pmm.c b/kernel-src/mm/pmm.c index 46c0ade7..0a8c6ddb 100644 --- a/kernel-src/mm/pmm.c +++ b/kernel-src/mm/pmm.c @@ -168,6 +168,7 @@ void *pmm_allocpage(int section) { page = freelists[i]; if (page) { removefromfreelist(page); + __assert(page->refcount == 0); break; } }