Symbol: pv_cache
sys/platform/pc64/x86_64/pmap.c
598
pv_cache(pmap, pv, pindex);
sys/platform/pc64/x86_64/pmap.c
603
pv_cache(pmap, pv, pindex);