/branches/dynload/kernel/generic/src/mm/as.c |
---|
845,7 → 845,7 |
pte = page_mapping_find(as, b + j * PAGE_SIZE); |
ASSERT(pte && PTE_VALID(pte) && |
PTE_PRESENT(pte)); |
old_frame = PTE_GET_FRAME(pte); |
old_frame = PTE_GET_FRAME_ARCH(pte); |
/* Remove old mapping and insert the new one */ |
page_mapping_remove(as, b + j * PAGE_SIZE); |