pmd_set_flags
return pmd_set_flags(pmd, _PAGE_SWP_SOFT_DIRTY);
return pmd_set_flags(pmd, _PAGE_SWP_UFFD_WP);
return pmd_set_flags(pmd, _PAGE_SPECIAL);
return pmd_wrprotect(pmd_set_flags(pmd, _PAGE_UFFD_WP));
pmd = pmd_set_flags(pmd, _PAGE_DIRTY | _PAGE_SOFT_DIRTY);
return pmd_set_flags(pmd, _PAGE_DIRTY);
return pmd_set_flags(pmd, _PAGE_PSE);
return pmd_set_flags(pmd, _PAGE_ACCESSED);
return pmd_set_flags(pmd, _PAGE_RW);
return pmd_set_flags(pmd, _PAGE_SOFT_DIRTY);
*pmd = pmd_set_flags(*pmd, _PAGE_GLOBAL);
level2_ident_pgt[i] = pmd_set_flags(level2_ident_pgt[i], _PAGE_NX);