//kernel/trunk/generic/src/mm/as.c |
---|
400,7 → 400,7 |
* This depends on the fact that the memory was allocated using frame_alloc(). |
*/ |
pte = page_mapping_find(as, area->base + i*PAGE_SIZE); |
if (pte) { |
if (pte && PTE_VALID(pte)) { |
ASSERT(PTE_PRESENT(pte)); |
frame_free(ADDR2PFN(PTE_GET_FRAME(pte))); |
} |