Symbol: CacheColor_SetFlushed
usr/src/uts/sfmmu/vm/hat_sfmmu.c
3566
CacheColor_SetFlushed(*cflags, ocolor);
usr/src/uts/sfmmu/vm/hat_sfmmu.c
6886
CacheColor_SetFlushed(cflags, PP_GET_VCOLOR(rpp));