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