pte_get_bits
return !pte_get_bits(pte, _PAGE_PROTNONE);
return !pte_get_bits(pte, _PAGE_PROTNONE);
return((pte_get_bits(pte, _PAGE_RW)) &&
!(pte_get_bits(pte, _PAGE_PROTNONE)));
return pte_get_bits(pte, _PAGE_DIRTY);
return pte_get_bits(pte, _PAGE_ACCESSED);
return pte_get_bits(pte, _PAGE_NEEDSYNC);
return pte_get_bits(pte, _PAGE_SWP_EXCLUSIVE);
#define pte_present(x) pte_get_bits(x, (_PAGE_PRESENT | _PAGE_PROTNONE))