Symbol: page_coloring_setup
usr/src/uts/common/vm/page.h
1223
extern void page_coloring_setup(caddr_t);
usr/src/uts/i86pc/os/startup.c
1266
page_coloring_setup(pagecolor_mem);