Symbol: pmap_update_pte1_kernel
sys/arm/arm/pmap-v6.c
3356
pmap_update_pte1_kernel(act->va, act->npte1);
sys/arm/arm/pmap-v6.c
3415
pmap_update_pte1_kernel(va, npte1);