is_pte_dirty
is_pte_dirty(oldPte), updatePageQueue);
if (is_pte_dirty(oldPte))
is_pte_accessed(oldPte), is_pte_dirty(oldPte),
if (is_pte_dirty(pte))
if (is_pte_dirty(oldPte))
if (!is_pte_dirty(oldPte))
_modified = is_pte_dirty(oldPte);