Symbol: svs_pmap_sync
sys/arch/amd64/include/pmap_private.h
184
void svs_pmap_sync(struct pmap *, int);
sys/arch/x86/x86/pmap.c
2515
svs_pmap_sync(pmap, index);
sys/arch/x86/x86/pmap.c
2652
svs_pmap_sync(pmap, index);