|
iPXE
|
Processor or Compiler specific defines and types x64 (Intel 64, AMD64). More...
Go to the source code of this file.
Macros | |
| #define | MDE_CPU_X64 |
| Define the processor type so other code can make processor based choices. | |
| #define | MAX_BIT 0x8000000000000000ULL |
| A value of native width with the highest bit set. | |
| #define | MAX_2_BITS 0xC000000000000000ULL |
| A value of native width with the two highest bits set. | |
| #define | MAX_ADDRESS 0xFFFFFFFFFFFFFFFFULL |
| Maximum legal x64 address. | |
| #define | MAX_ALLOC_ADDRESS MAX_ADDRESS |
| Maximum usable address at boot time. | |
| #define | MAX_INTN ((INTN)0x7FFFFFFFFFFFFFFFULL) |
| Maximum legal x64 INTN and UINTN values. | |
| #define | MAX_UINTN ((UINTN)0xFFFFFFFFFFFFFFFFULL) |
| #define | MIN_INTN (((INTN)-9223372036854775807LL) - 1) |
| Minimum legal x64 INTN value. | |
| #define | CPU_STACK_ALIGNMENT 16 |
| The stack alignment required for x64. | |
| #define | DEFAULT_PAGE_ALLOCATION_GRANULARITY (0x1000) |
| Page allocation granularity for x64. | |
| #define | RUNTIME_PAGE_ALLOCATION_GRANULARITY (0x1000) |
| #define | EFIAPI |
| The default for a non Microsoft* or GCC compiler is to assume the EFI ABI is the standard. | |
| #define | FUNCTION_ENTRY_POINT(FunctionPointer) |
| Return the pointer to the first instruction of a function given a function pointer. | |
| #define | __USER_LABEL_PREFIX__ |
Functions | |
| FILE_LICENCE (BSD2_PATENT) | |
| FILE_SECBOOT (PERMITTED) | |
Processor or Compiler specific defines and types x64 (Intel 64, AMD64).
Copyright (c) 2006 - 2019, Intel Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file ProcessorBind.h.
| #define MDE_CPU_X64 |
Define the processor type so other code can make processor based choices.
Definition at line 18 of file ProcessorBind.h.
| #define MAX_BIT 0x8000000000000000ULL |
A value of native width with the highest bit set.
Definition at line 228 of file ProcessorBind.h.
| #define MAX_2_BITS 0xC000000000000000ULL |
A value of native width with the two highest bits set.
Definition at line 232 of file ProcessorBind.h.
| #define MAX_ADDRESS 0xFFFFFFFFFFFFFFFFULL |
Maximum legal x64 address.
Definition at line 237 of file ProcessorBind.h.
| #define MAX_ALLOC_ADDRESS MAX_ADDRESS |
Maximum usable address at boot time.
Definition at line 242 of file ProcessorBind.h.
| #define MAX_INTN ((INTN)0x7FFFFFFFFFFFFFFFULL) |
Maximum legal x64 INTN and UINTN values.
Definition at line 247 of file ProcessorBind.h.
| #define MAX_UINTN ((UINTN)0xFFFFFFFFFFFFFFFFULL) |
Definition at line 248 of file ProcessorBind.h.
| #define MIN_INTN (((INTN)-9223372036854775807LL) - 1) |
Minimum legal x64 INTN value.
Definition at line 253 of file ProcessorBind.h.
| #define CPU_STACK_ALIGNMENT 16 |
The stack alignment required for x64.
Definition at line 258 of file ProcessorBind.h.
| #define DEFAULT_PAGE_ALLOCATION_GRANULARITY (0x1000) |
Page allocation granularity for x64.
Definition at line 263 of file ProcessorBind.h.
| #define RUNTIME_PAGE_ALLOCATION_GRANULARITY (0x1000) |
Definition at line 264 of file ProcessorBind.h.
| #define EFIAPI |
The default for a non Microsoft* or GCC compiler is to assume the EFI ABI is the standard.
Definition at line 295 of file ProcessorBind.h.
| #define FUNCTION_ENTRY_POINT | ( | FunctionPointer | ) |
Return the pointer to the first instruction of a function given a function pointer.
On x64 CPU architectures, these two pointer values are the same, so the implementation of this macro is very simple.
| FunctionPointer | A pointer to a function. |
Definition at line 316 of file ProcessorBind.h.
| #define __USER_LABEL_PREFIX__ |
Definition at line 319 of file ProcessorBind.h.
| FILE_LICENCE | ( | BSD2_PATENT | ) |
| FILE_SECBOOT | ( | PERMITTED | ) |