Symbol: ADDR_PIDX_SHIFT
sys/arch/powerpc/include/pte.h
104
#define ADDR_PIDX_SHIFT 12
sys/arch/powerpc64/include/pte.h
54
#define ADDR_PIDX_SHIFT 12