Symbol: pmap_invalidate_cache_curcpu_cb
sys/amd64/amd64/pmap.c
3471
smp_cache_flush(pmap_invalidate_cache_curcpu_cb);
sys/i386/i386/pmap.c
1302
smp_cache_flush(pmap_invalidate_cache_curcpu_cb);