pte_set_flags
pte = pte_set_flags(pte, set);
return pte_set_flags(pte, _PAGE_SWP_EXCLUSIVE);
return pte_set_flags(pte, _PAGE_SWP_SOFT_DIRTY);
return pte_set_flags(pte, _PAGE_SWP_UFFD_WP);
return pte_wrprotect(pte_set_flags(pte, _PAGE_UFFD_WP));
pte = pte_set_flags(pte, _PAGE_DIRTY | _PAGE_SOFT_DIRTY);
return pte_set_flags(pte, _PAGE_DIRTY);
return pte_set_flags(pte, _PAGE_ACCESSED);
return pte_set_flags(pte, _PAGE_RW);
return pte_set_flags(pte, _PAGE_PSE);
return pte_set_flags(pte, _PAGE_GLOBAL);
return pte_set_flags(pte, _PAGE_SPECIAL);
return pte_set_flags(pte, _PAGE_SOFT_DIRTY);
pte = pte_set_flags(pte, _PAGE_GLOBAL);
*pte = pte_set_flags(*pte, _PAGE_GLOBAL);