EFI_PARAVIRT
if (efi_enabled(EFI_PARAVIRT))
if (!efi_enabled(EFI_PARAVIRT)) {
if (efi_enabled(EFI_PARAVIRT))
if (efi_enabled(EFI_PARAVIRT) ||
if (efi_enabled(EFI_PARAVIRT))
set_bit(EFI_PARAVIRT, &efi.flags);
if (WARN_ON_ONCE(efi_enabled(EFI_PARAVIRT)))
if (!efi_enabled(EFI_MEMMAP) && !efi_enabled(EFI_PARAVIRT))
set_bit(EFI_PARAVIRT, &efi.flags);
if (!efi_enabled(EFI_PARAVIRT) || efi_enabled(EFI_MEMMAP))
if (!efi_enabled(EFI_PARAVIRT))