WSCOL_BLUE        147 dev/ic/vga.c   	WSCOL_BLUE, WSCOL_MAGENTA, WSCOL_CYAN, WSCOL_WHITE
WSCOL_BLUE        149 dev/ic/vga.c   	WSCOL_BLACK, WSCOL_BLUE, WSCOL_GREEN, WSCOL_CYAN,
WSCOL_BLUE        436 dev/ic/vga.c   		res = vga_alloc_attr(scr, WSCOL_WHITE, WSCOL_BLUE,
WSCOL_BLUE        155 dev/isa/ega.c  	WSCOL_BLUE, WSCOL_MAGENTA, WSCOL_CYAN, WSCOL_WHITE
WSCOL_BLUE        157 dev/isa/ega.c  	WSCOL_BLACK, WSCOL_BLUE, WSCOL_GREEN, WSCOL_CYAN,
WSCOL_BLUE        159 dev/wscons/wsemul_vt100.c #define WS_KERNEL_BG WSCOL_BLUE