diff --git a/src/boot/efi/efi.h b/src/boot/efi/efi.h
index e8217c1836..e1042635b9 100644
--- a/src/boot/efi/efi.h
+++ b/src/boot/efi/efi.h
@@ -68,6 +68,8 @@ typedef uint64_t EFI_PHYSICAL_ADDRESS;
 #  error Unsupported pointer size
 #endif
 
+#define EFI_STATUS_IS_ERROR(s) (((s) & EFI_ERROR_MASK) != 0)
+
 #define EFIWARN(s) ((EFI_STATUS) s)
 #define EFIERR(s) ((EFI_STATUS) (s | EFI_ERROR_MASK))