Symbol: PMAP_SET_NEEDISYNC
sys/arch/alpha/alpha/pmap.c
1744
PMAP_SET_NEEDISYNC(pmap);
sys/arch/alpha/alpha/pmap.c
2331
PMAP_SET_NEEDISYNC(pmap);