tag	line	file	source code
video_type	80	kernel/chr_drv/console.c	static unsigned char  video_type;    /* Type of display being used  */
video_type	349	kernel/chr_drv/console.c	if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_EGAM)
video_type	388	kernel/chr_drv/console.c	if (video_type != VIDEO_TYPE_EGAC && video_type != VIDEO_TYPE_EGAM)
video_type	1375	kernel/chr_drv/console.c	video_type = VIDEO_TYPE_EGAM;
video_type	1381	kernel/chr_drv/console.c	video_type = VIDEO_TYPE_MDA;
video_type	1394	kernel/chr_drv/console.c	video_type = VIDEO_TYPE_EGAC;
video_type	1400	kernel/chr_drv/console.c	video_type = VIDEO_TYPE_CGA;