sfmmu_cache_flushcolor

3567

sfmmu_cache_flushcolor(ocolor, pp->p_pagenum);

487

void sfmmu_cache_flushcolor(int, pfn_t);

6887

sfmmu_cache_flushcolor(PP_GET_VCOLOR(rpp),

9410

sfmmu_cache_flushcolor(i, pp->p_pagenum);

359

sfmmu_cache_flushcolor(i, 0);

68

extern void sfmmu_cache_flushcolor(int, pfn_t);

66

extern void sfmmu_cache_flushcolor(int, pfn_t);