vga_font_is_default   93 drivers/video/console/vgacon.c static bool		vga_font_is_default = true;
vga_font_is_default 1100 drivers/video/console/vgacon.c 	vga_font_is_default = false;
vga_font_is_default 1109 drivers/video/console/vgacon.c 		vga_font_is_default = !arg;
vga_font_is_default 1115 drivers/video/console/vgacon.c 	if (!vga_font_is_default)