vga_alloc_attr     99 dev/ic/vga.c   int	vga_alloc_attr(void *, int, int, int, long *);
vga_alloc_attr    111 dev/ic/vga.c   	vga_alloc_attr,
vga_alloc_attr    436 dev/ic/vga.c   		res = vga_alloc_attr(scr, WSCOL_WHITE, WSCOL_BLUE,
vga_alloc_attr    440 dev/ic/vga.c   	res = vga_alloc_attr(scr, 0, 0, 0, attrp);