Symbol: L2_NEXT_BUCKET_VA
sys/arch/arm/arm32/pmap.c
3533
vaddr_t next_bucket = L2_NEXT_BUCKET_VA(sva);
sys/arch/arm/arm32/pmap.c
3915
vaddr_t next_bucket = L2_NEXT_BUCKET_VA(va);
sys/arch/arm/arm32/pmap.c
4128
next_bucket = L2_NEXT_BUCKET_VA(sva);
sys/arch/arm/arm32/pmap.c
4227
next_bucket = L2_NEXT_BUCKET_VA(sva);
sys/arch/arm/arm32/pmap.c
7623
next_bucket = L2_NEXT_BUCKET_VA(va);