VIDEO_80x25       154 arch/x86/boot/video-mode.c 		mode = VIDEO_80x25;
VIDEO_80x25        18 arch/x86/boot/video-vga.c 	{ VIDEO_80x25,  80, 25, 0 },
VIDEO_80x25        28 arch/x86/boot/video-vga.c 	{ VIDEO_80x25,  80, 25, 0 },
VIDEO_80x25        33 arch/x86/boot/video-vga.c 	{ VIDEO_80x25,  80, 25, 0 },
VIDEO_80x25       201 arch/x86/boot/video-vga.c 	case VIDEO_80x25: