Rev 2986 | Rev 3149 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2986 | Rev 3129 | ||
---|---|---|---|
Line 843... | Line 843... | ||
843 | for (j = 0; j < (count_t) node->value[i]; j++) { |
843 | for (j = 0; j < (count_t) node->value[i]; j++) { |
844 | page_table_lock(as, false); |
844 | page_table_lock(as, false); |
845 | pte = page_mapping_find(as, b + j * PAGE_SIZE); |
845 | pte = page_mapping_find(as, b + j * PAGE_SIZE); |
846 | ASSERT(pte && PTE_VALID(pte) && |
846 | ASSERT(pte && PTE_VALID(pte) && |
847 | PTE_PRESENT(pte)); |
847 | PTE_PRESENT(pte)); |
848 | old_frame = PTE_GET_FRAME_ARCH(pte); |
848 | old_frame = PTE_GET_FRAME(pte); |
849 | 849 | ||
850 | /* Remove old mapping and insert the new one */ |
850 | /* Remove old mapping and insert the new one */ |
851 | page_mapping_remove(as, b + j * PAGE_SIZE); |
851 | page_mapping_remove(as, b + j * PAGE_SIZE); |
852 | page_mapping_insert(as, b + j * PAGE_SIZE, |
852 | page_mapping_insert(as, b + j * PAGE_SIZE, |
853 | old_frame, page_flags); |
853 | old_frame, page_flags); |