From d71cbb2993ebbf5b459e3bba1dac865110ce3eef Mon Sep 17 00:00:00 2001 From: Sascha Wildner Date: Mon, 23 Jul 2018 13:00:23 +0200 Subject: [PATCH] boot/efi: Sync our TianoCore EDK II headers with the UDK2018 branch. --- sys/contrib/edk2/Include/Base.h | 8 ++++++++ sys/contrib/edk2/Include/X64/ProcessorBind.h | 5 +++++ 2 files changed, 13 insertions(+) diff --git a/sys/contrib/edk2/Include/Base.h b/sys/contrib/edk2/Include/Base.h index dd727c464c..bd6224e6c2 100644 --- a/sys/contrib/edk2/Include/Base.h +++ b/sys/contrib/edk2/Include/Base.h @@ -376,6 +376,14 @@ struct _LIST_ENTRY { #define MAX_INT64 ((INT64)0x7FFFFFFFFFFFFFFFULL) #define MAX_UINT64 ((UINT64)0xFFFFFFFFFFFFFFFFULL) +/// +/// Minimum values for the signed UEFI Data Types +/// +#define MIN_INT8 (((INT8) -127) - 1) +#define MIN_INT16 (((INT16) -32767) - 1) +#define MIN_INT32 (((INT32) -2147483647) - 1) +#define MIN_INT64 (((INT64) -9223372036854775807LL) - 1) + #define BIT0 0x00000001 #define BIT1 0x00000002 #define BIT2 0x00000004 diff --git a/sys/contrib/edk2/Include/X64/ProcessorBind.h b/sys/contrib/edk2/Include/X64/ProcessorBind.h index 7a449b055f..1b4b19e4ad 100644 --- a/sys/contrib/edk2/Include/X64/ProcessorBind.h +++ b/sys/contrib/edk2/Include/X64/ProcessorBind.h @@ -267,6 +267,11 @@ typedef INT64 INTN; #define MAX_UINTN ((UINTN)0xFFFFFFFFFFFFFFFFULL) /// +/// Minimum legal x64 INTN value. +/// +#define MIN_INTN (((INTN)-9223372036854775807LL) - 1) + +/// /// The stack alignment required for x64 /// #define CPU_STACK_ALIGNMENT 16 -- 2.11.4.GIT