srmmu_cache_flush
void srmmu_cache_flush(void *, u_int); /* flush range */
srmmu_cache_flush,
srmmu_cache_flush,
srmmu_cache_flush,
srmmu_cache_flush,
srmmu_cache_flush,
sc->cache_flush = srmmu_cache_flush;