PTE_VALID
#define PTE_VALID PTE40_RESIDENT /* == DT51_PAGE */
#define PTE_VALID 0x00000001
#define PTE_VALID 0x80000000