taglinefilesource code
orig_video_isVGA31arch/i386/boot/compressed/misc.cunsigned char  orig_video_isVGA;
orig_video_isVGA47include/linux/tty.hunsigned char  orig_video_isVGA;
orig_video_isVGA62include/linux/tty.h#define ORIG_VIDEO_ISVGA  (screen_info.orig_video_isVGA)