current_font_512  141 drivers/usb/misc/sisusbvga/sisusb.h 	int current_font_height, current_font_512;
current_font_512  225 drivers/usb/misc/sisusbvga/sisusb_con.c 	c->vc_hi_font_mask = sisusb->current_font_512 ? 0x0800 : 0;
current_font_512 1103 drivers/usb/misc/sisusbvga/sisusb_con.c 	if ((set) && (ch512 != sisusb->current_font_512)) {
current_font_512 1114 drivers/usb/misc/sisusbvga/sisusb_con.c 		sisusb->current_font_512 = ch512;