taglinefilesource code
video_font_is_default176drivers/char/console.cint    video_font_is_default = 1;
video_font_is_default31drivers/char/selection.hextern int video_font_is_default;
video_font_is_default347drivers/char/vga.cvideo_font_is_default = 0;
video_font_is_default357drivers/char/vga.cvideo_font_is_default = !arg;
video_font_is_default361drivers/char/vga.cif ( !video_font_is_default )