Symbol: L2_BUCKET_IDX
sys/arch/arm/arm32/pmap.c
626
#define L2_IDX(l1slot) (L2_BUCKET_IDX(l1slot) >> L2_BUCKET_LOG2)
sys/arch/arm/arm32/pmap.c
627
#define L2_BUCKET(l1slot) (L2_BUCKET_IDX(l1slot) & (L2_BUCKET_SIZE - 1))