is_pte_accessed
if (!is_pte_accessed(pte))
PageUnmapped(area, (oldPte & kPteAddrMask) >> fPageBits, is_pte_accessed(oldPte),
if (is_pte_accessed(oldPte))
is_pte_accessed(oldPte), is_pte_dirty(oldPte),
if (is_pte_accessed(pte))