smp_cache_flush
smp_cache_flush(pmap_invalidate_cache_curcpu_cb);
void smp_cache_flush(smp_invl_cb_t curcpu_cb);