WSCOL_GREEN       146 dev/ic/vga.c   	WSCOL_BLACK, WSCOL_RED, WSCOL_GREEN, WSCOL_BROWN,
WSCOL_GREEN       149 dev/ic/vga.c   	WSCOL_BLACK, WSCOL_BLUE, WSCOL_GREEN, WSCOL_CYAN,
WSCOL_GREEN       154 dev/isa/ega.c  	WSCOL_BLACK, WSCOL_RED, WSCOL_GREEN, WSCOL_BROWN,
WSCOL_GREEN       157 dev/isa/ega.c  	WSCOL_BLACK, WSCOL_BLUE, WSCOL_GREEN, WSCOL_CYAN,