diff options
| author | Michael Brown | 2014-07-14 17:13:55 +0200 |
|---|---|---|
| committer | Michael Brown | 2014-07-14 17:13:55 +0200 |
| commit | cff0103bd2a55cadff2a9aed6e3f8024baab368c (patch) | |
| tree | d68fcf544a221f4c1bef2c0460aaf51ea092b8a4 /src/include/ipxe/efi/X64 | |
| parent | [netdevice] Reset network device index when last device is unregistered (diff) | |
| download | ipxe-cff0103bd2a55cadff2a9aed6e3f8024baab368c.tar.gz ipxe-cff0103bd2a55cadff2a9aed6e3f8024baab368c.tar.xz ipxe-cff0103bd2a55cadff2a9aed6e3f8024baab368c.zip | |
[efi] Update EDK2 headers
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include/ipxe/efi/X64')
| -rw-r--r-- | src/include/ipxe/efi/X64/ProcessorBind.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/include/ipxe/efi/X64/ProcessorBind.h b/src/include/ipxe/efi/X64/ProcessorBind.h index e10e3b549..1d927e648 100644 --- a/src/include/ipxe/efi/X64/ProcessorBind.h +++ b/src/include/ipxe/efi/X64/ProcessorBind.h @@ -1,7 +1,7 @@ /** @file Processor or Compiler specific defines and types x64 (Intel 64, AMD64). - Copyright (c) 2006 - 2012, Intel Corporation. All rights reserved.<BR> + Copyright (c) 2006 - 2013, Intel Corporation. All rights reserved.<BR> This program and the accompanying materials are licensed and made available under the terms and conditions of the BSD License which accompanies this distribution. The full text of the license may be found at @@ -230,6 +230,12 @@ typedef INT64 INTN; #define MAX_ADDRESS 0xFFFFFFFFFFFFFFFFULL /// +/// Maximum legal x64 INTN and UINTN values. +/// +#define MAX_INTN ((INTN)0x7FFFFFFFFFFFFFFFULL) +#define MAX_UINTN ((UINTN)0xFFFFFFFFFFFFFFFFULL) + +/// /// The stack alignment required for x64 /// #define CPU_STACK_ALIGNMENT 16 |