WSCOL_RED         146 dev/ic/vga.c   	WSCOL_BLACK, WSCOL_RED, WSCOL_GREEN, WSCOL_BROWN,
WSCOL_RED         150 dev/ic/vga.c   	WSCOL_RED, WSCOL_MAGENTA, WSCOL_BROWN, WSCOL_WHITE
WSCOL_RED         154 dev/isa/ega.c  	WSCOL_BLACK, WSCOL_RED, WSCOL_GREEN, WSCOL_BROWN,
WSCOL_RED         158 dev/isa/ega.c  	WSCOL_RED, WSCOL_MAGENTA, WSCOL_BROWN, WSCOL_WHITE
WSCOL_RED         705 dev/wscons/wsemul_sun.c 			fgcol = WSCOL_RED;
WSCOL_RED         660 dev/wscons/wsemul_vt100_subr.c 			fgcol = WSCOL_RED;