sfmmu_cache_flush

486

void sfmmu_cache_flush(pfn_t, int);

9104

sfmmu_cache_flush(pp->p_pagenum, PP_GET_VCOLOR(pp));

9190

sfmmu_cache_flush(pp->p_pagenum, PP_GET_VCOLOR(pp));

9518

sfmmu_cache_flush(pfn, addr_to_vcolor(vaddr));

36

extern void sfmmu_cache_flush(pfn_t, int);

1667

sfmmu_cache_flush(pp->p_pagenum, PP_GET_VCOLOR(pp));

1717

sfmmu_cache_flush(pp->p_pagenum, PP_GET_VCOLOR(pp));