addr_to_vcolor
vcolor = (nvcolors > 1) ? addr_to_vcolor(off, nvcolors) : 0;
vcolor = addr_to_vcolor(va);
vcolor = addr_to_vcolor(addr);
vcolor = addr_to_vcolor(addr);
return (addr_to_vcolor(vaddr));
vcolor = addr_to_vcolor(addr);
color1 = addr_to_vcolor(kpmvaddr);
color = addr_to_vcolor(vaddr);
color = addr_to_vcolor(vaddr);
sfmmu_cache_flush(pfn, addr_to_vcolor(vaddr));
color = addr_to_vcolor(seg->s_base);
addr_to_vcolor(addr)) { \
color = addr_to_vcolor(hint);
color = addr_to_vcolor(mmu_ptob(pp->p_pagenum));
color = addr_to_vcolor(va);
ASSERT(addr_to_vcolor(va) == 0);
ASSERT(vcolor == -1 || addr_to_vcolor(va) == vcolor);
vcolor_pa = addr_to_vcolor(paddr);
vcolor = addr_to_vcolor(pp->p_offset);
addr_to_vcolor(vaddr) != PP_GET_VCOLOR(pp)) {
addr_to_vcolor(vaddr) != PP_GET_VCOLOR(pp)) {
addr_to_vcolor(vaddr) != PP_GET_VCOLOR(pp)) {
addr_to_vcolor(vaddr) != PP_GET_VCOLOR(pp)) {
ASSERT(addr_to_vcolor(vaddr) == PP_GET_VCOLOR(pp));
vcolor = addr_to_vcolor(vaddr);
newcolor = addr_to_vcolor(kpmvaddr) != addr_to_vcolor(vaddr);
int vcolor = addr_to_vcolor(kpmvaddr);
vcolor_pa = addr_to_vcolor(paddr);
vcolor = addr_to_vcolor(pp->p_offset);