pgd_flags
return pgd_flags(pgd) & _PAGE_PRESENT;
return (pgd_flags(pgd) & ~ignore_flags) != _KERNPG_TABLE;
(pgd_flags(*pgd) & _PAGE_USER) &&
*nx |= pgd_flags(*pgd) & _PAGE_NX;
*rw &= pgd_flags(*pgd) & _PAGE_RW;