Symbol: ADDR_PIDX
sys/arch/powerpc/include/pte.h
103
#define ADDR_PIDX 0x0ffff000
sys/arch/powerpc64/include/pte.h
53
#define ADDR_PIDX 0x000000000ffff000ULL