Symbol: PTE_VALID
sys/powerpc/include/pte.h
271
#define PTE_VALID 0x00000001 /* Valid */
sys/powerpc/include/pte.h
85
#define PTE_VALID 0x80000000