Symbol: arm32_btop
sys/arm/arm/pmap-v6.c
1901
return (PADDR2 + (arm32_btop(va) & (NPTE2_IN_PG - 1)));
sys/arm/arm/pmap-v6.c
1963
return (PADDR1 + (arm32_btop(va) & (NPTE2_IN_PG - 1)));
sys/arm/arm/pmap-v6.c
6743
return (PADDR3 + (arm32_btop(va) & (NPTE2_IN_PG - 1)));