PageUnmapped
void PageUnmapped(VMArea* area,
PageUnmapped(area, (oldEntry & ARM_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
PageUnmapped(area, page,
PageUnmapped(area, (oldPte & kPteAddrMask) >> fPageBits, is_pte_accessed(oldPte),
PageUnmapped(area, page,
PageUnmapped(area, (oldEntry & M68K_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
PageUnmapped(area, page,
PageUnmapped(area, pageNumber, accessed, modified, updatePageQueue);
PageUnmapped(area, (oldEntry & PPC_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
PageUnmapped(area, page,
PageUnmapped(area, pageNumber, accessed, modified, updatePageQueue);
PageUnmapped(area, (oldEntry & PPC_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
PageUnmapped(area, page,
PageUnmapped(area, oldPte.ppn, oldPte.isAccessed, oldPte.isDirty, updatePageQueue);
PageUnmapped(area, oldPte.ppn, oldPte.isAccessed, oldPte.isDirty,
PageUnmapped(area, (oldEntry & X86_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
PageUnmapped(area, page,
PageUnmapped(area, (oldEntry & X86_64_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
PageUnmapped(area, page,
PageUnmapped(area, (oldEntry & X86_PAE_PTE_ADDRESS_MASK) / B_PAGE_SIZE,
PageUnmapped(area, page,