Symbol: pmap_pt_to_pte
sys/platform/pc64/x86_64/pmap.c
1738
ptep = pmap_pt_to_pte(*pt, va);
sys/platform/pc64/x86_64/pmap.c
1885
pa = *pmap_pt_to_pte(pt, va);
sys/platform/pc64/x86_64/pmap.c
787
return (pmap_pt_to_pte(*pt, va));