PTE newpte = PTE::addr_to_pte(region.offset) | flags;
PTE oldpte = newpte.xchg_pte(ptable, i);
PTE newpte = PTE::addr_to_pte(region.offset) | flags;
PTE oldpte = newpte.xchg_pte(ptable, i);
((i - start) << PTE::page_shift);
kill_pte(vaddr, oldpte.pte_to_addr(),
((i - start) << PTE::page_shift);
kill_pte(vaddr, oldpte.pte_to_addr(),
- oldpte.dirty_pte(), oldpte.valid_pte());
+ oldpte.dirty_pte(), oldpte.valid_pte(),
+ oldpte.addronly_pte());
((i - start) << PTE::page_shift);
kill_pte(vaddr, oldpte.pte_to_addr(),
((i - start) << PTE::page_shift);
kill_pte(vaddr, oldpte.pte_to_addr(),
- oldpte.dirty_pte(), oldpte.valid_pte());
+ oldpte.dirty_pte(), oldpte.valid_pte(),
+ oldpte.addronly_pte());