Symbol: pmap_va2vsid
sys/arch/powerpc64/powerpc64/pmap.c
1452
vsid = pmap_va2vsid(pm, va);
sys/arch/powerpc64/powerpc64/pmap.c
739
pted->pted_vsid = pmap_va2vsid(pm, va);