sfmmu_get_addrvcolor
extern int sfmmu_get_addrvcolor(caddr_t);
color = sfmmu_get_addrvcolor(bp->b_un.b_addr);