Symbol: pte1_copy_nosync
sys/arm/arm/pmap-v6.c
2289
pte1_copy_nosync(kern_pt1, pmap->pm_pt1, KERNBASE,
sys/arm/arm/pmap-v6.c
2291
pte1_copy_nosync(kern_pt1, pmap->pm_pt1, vm_max_kernel_address,