EFI_PARAVIRT      207 arch/x86/platform/efi/efi.c 	if (efi_enabled(EFI_PARAVIRT))
EFI_PARAVIRT      489 arch/x86/platform/efi/efi.c 	if (!efi_enabled(EFI_PARAVIRT)) {
EFI_PARAVIRT     1051 arch/x86/platform/efi/efi.c 	if (efi_enabled(EFI_PARAVIRT))
EFI_PARAVIRT      166 arch/x86/xen/efi.c 	set_bit(EFI_PARAVIRT, &efi.flags);
EFI_PARAVIRT      182 drivers/firmware/efi/efi.c 		if (efi_enabled(EFI_PARAVIRT) ||
EFI_PARAVIRT       74 drivers/firmware/efi/memmap.c 	if (efi_enabled(EFI_PARAVIRT))