gen2vm            227 arch/x86/hyperv/hv_init.c 	int gen2vm = efi_enabled(EFI_BOOT);
gen2vm            234 arch/x86/hyperv/hv_init.c 	if (gen2vm)
gen2vm            676 drivers/video/fbdev/hyperv_fb.c 	int gen2vm = efi_enabled(EFI_BOOT);
gen2vm            680 drivers/video/fbdev/hyperv_fb.c 	if (gen2vm) {
gen2vm            714 drivers/video/fbdev/hyperv_fb.c 	if (gen2vm) {
gen2vm            729 drivers/video/fbdev/hyperv_fb.c 	if (!gen2vm)
gen2vm            740 drivers/video/fbdev/hyperv_fb.c 	if (!gen2vm)