VIDEO_TYPE_EFI
screen_info->orig_video_isVGA = VIDEO_TYPE_EFI;
if (si->orig_video_isVGA != VIDEO_TYPE_EFI) {
si->orig_video_isVGA = VIDEO_TYPE_EFI;
si->orig_video_isVGA = VIDEO_TYPE_EFI;
if (si->orig_video_isVGA != VIDEO_TYPE_EFI ||
if (si->orig_video_isVGA == VIDEO_TYPE_EFI)
if (si->orig_video_isVGA == VIDEO_TYPE_EFI && IS_ENABLED(CONFIG_PCI)) {
case VIDEO_TYPE_EFI:
if (type != VIDEO_TYPE_VLFB && type != VIDEO_TYPE_EFI)
if (screen_info_video_type(si) != VIDEO_TYPE_EFI)
vga_si->orig_video_isVGA == VIDEO_TYPE_EFI) {
if (si->orig_video_isVGA != VIDEO_TYPE_EFI)
case VIDEO_TYPE_EFI:
case VIDEO_TYPE_EFI:
return (type == VIDEO_TYPE_VLFB) || (type == VIDEO_TYPE_EFI);
case VIDEO_TYPE_EFI: