pte_get_bits
#define pte_present(x) pte_get_bits(x, (_PAGE_PRESENT | _PAGE_PROTNONE))
return((pte_get_bits(pte, _PAGE_USER)) &&
!(pte_get_bits(pte, _PAGE_PROTNONE)));
return((pte_get_bits(pte, _PAGE_USER)) &&
!(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);