Symbol: pmap_preboot_vtopte2
sys/arm/arm/pmap-v6.c
1013
pte2p = pmap_preboot_vtopte2(va);
sys/arm/arm/pmap-v6.c
1072
pte2p = pmap_preboot_vtopte2(va);
sys/arm/arm/pmap-v6.c
990
pte2p = pmap_preboot_vtopte2(va);