diff --git a/src/boot/efi/util.h b/src/boot/efi/util.h
index daa386b769..169bd674d3 100644
--- a/src/boot/efi/util.h
+++ b/src/boot/efi/util.h
@@ -52,3 +52,6 @@ static inline void FileHandleClosep(EFI_FILE_HANDLE *handle) {
 }
 
 const EFI_GUID loader_guid;
+
+#define UINTN_MAX (~(UINTN)0)
+#define INTN_MAX ((INTN)(UINTN_MAX>>1))