Symbol: pte1_ptr
sys/arm/include/pmap_var.h
449
return (pte1_ptr(pmap->pm_pt1, va));
sys/arm/include/pmap_var.h
456
return (pte1_ptr(kern_pt1, va));