Symbol: pv_placemarker_wait
sys/platform/pc64/x86_64/pmap.c
395
static void pv_placemarker_wait(pmap_t pmap, vm_pindex_t *pmark);
sys/platform/pc64/x86_64/pmap.c
4413
pv_placemarker_wait(pmap, pt_placemark);
sys/platform/pc64/x86_64/pmap.c
4551
pv_placemarker_wait(pmap, pte_placemark);