mode_defined      346 arch/x86/boot/boot.h int mode_defined(u16 mode);
mode_defined       85 arch/x86/boot/video-bios.c 		if (mode_defined(VIDEO_FIRST_BIOS+mode))
mode_defined       84 arch/x86/boot/video.h int mode_defined(u16 mode);	/* video.c */