sfmmu_cache_flushcolor
sfmmu_cache_flushcolor(ocolor, pp->p_pagenum);
void sfmmu_cache_flushcolor(int, pfn_t);
sfmmu_cache_flushcolor(PP_GET_VCOLOR(rpp),
sfmmu_cache_flushcolor(i, pp->p_pagenum);
sfmmu_cache_flushcolor(i, 0);
extern void sfmmu_cache_flushcolor(int, pfn_t);
extern void sfmmu_cache_flushcolor(int, pfn_t);