WSFONT_NAME_SIZE   53 dev/ic/vga.c   	char name[WSFONT_NAME_SIZE];
WSFONT_NAME_SIZE  352 dev/ic/vga.c   		     !strncmp(name1, f->name, WSFONT_NAME_SIZE))) {
WSFONT_NAME_SIZE  359 dev/ic/vga.c   		     !strncmp(name2, f->name, WSFONT_NAME_SIZE))) {
WSFONT_NAME_SIZE   52 dev/isa/ega.c  	char name[WSFONT_NAME_SIZE];
WSFONT_NAME_SIZE  368 dev/wscons/wsconsio.h 	char name[WSFONT_NAME_SIZE];