Symbol: PTBL_IDX
sys/powerpc/include/pte.h
392
#define PTBL_IDX(va) ((va >> PTBL_SHIFT) & PTBL_MASK)
sys/powerpc/include/pte.h
426
#define PTBL_IDX(va) (((va) & PTBL_MASK) >> PTBL_SHIFT)