VIDEO_TYPE_EFI    323 arch/x86/boot/compressed/eboot.c 	si->orig_video_isVGA	= VIDEO_TYPE_EFI;
VIDEO_TYPE_EFI     57 arch/x86/kernel/sysfb.c 	if (si->orig_video_isVGA == VIDEO_TYPE_EFI)
VIDEO_TYPE_EFI    160 arch/x86/kernel/sysfb_efi.c 			screen_info.orig_video_isVGA = VIDEO_TYPE_EFI;
VIDEO_TYPE_EFI    272 arch/x86/kernel/sysfb_efi.c 	if (screen_info.orig_video_isVGA != VIDEO_TYPE_EFI ||
VIDEO_TYPE_EFI    276 arch/x86/kernel/sysfb_efi.c 	if (screen_info.orig_video_isVGA == VIDEO_TYPE_EFI &&
VIDEO_TYPE_EFI     35 arch/x86/kernel/sysfb_simplefb.c 	if (type != VIDEO_TYPE_VLFB && type != VIDEO_TYPE_EFI)
VIDEO_TYPE_EFI     61 arch/x86/xen/vga.c 			screen_info->orig_video_isVGA = VIDEO_TYPE_EFI;
VIDEO_TYPE_EFI     79 drivers/firmware/efi/arm-init.c 	if (screen_info.orig_video_isVGA == VIDEO_TYPE_EFI &&
VIDEO_TYPE_EFI    274 drivers/firmware/efi/arm-init.c 	if (screen_info.orig_video_isVGA != VIDEO_TYPE_EFI)
VIDEO_TYPE_EFI    212 drivers/firmware/efi/earlycon.c 	if (screen_info.orig_video_isVGA != VIDEO_TYPE_EFI)
VIDEO_TYPE_EFI    160 drivers/firmware/efi/libstub/gop.c 	si->orig_video_isVGA = VIDEO_TYPE_EFI;
VIDEO_TYPE_EFI    257 drivers/firmware/efi/libstub/gop.c 	si->orig_video_isVGA = VIDEO_TYPE_EFI;
VIDEO_TYPE_EFI    397 drivers/video/console/vgacon.c 	    screen_info.orig_video_isVGA == VIDEO_TYPE_EFI) {
VIDEO_TYPE_EFI    350 drivers/video/fbdev/efifb.c 	if (screen_info.orig_video_isVGA != VIDEO_TYPE_EFI || pci_dev_disabled)
VIDEO_TYPE_EFI    647 drivers/video/fbdev/efifb.c 	if (efifb_pci_dev || screen_info.orig_video_isVGA != VIDEO_TYPE_EFI)