mode_defined      299 arch/x86/boot/boot.h int mode_defined(u16 mode);
mode_defined       89 arch/x86/boot/video-bios.c 		if (mode_defined(VIDEO_FIRST_BIOS+mode))
mode_defined      102 arch/x86/boot/video.h int mode_defined(u16 mode);	/* video.c */