tag	line	file	source code
video_font_is_default	162	drivers/char/console.c	int    video_font_is_default = 1;
video_font_is_default	31	drivers/char/selection.h	extern int video_font_is_default;
video_font_is_default	347	drivers/char/vga.c	video_font_is_default = 0;
video_font_is_default	357	drivers/char/vga.c	video_font_is_default = !arg;
video_font_is_default	361	drivers/char/vga.c	if ( !video_font_is_default )