iPXE
Macros | Typedefs | Functions
ProcessorBind.h File Reference

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. More...
 
#define MAX_BIT   0x8000000000000000ULL
 A value of native width with the highest bit set. More...
 
#define MAX_2_BITS   0xC000000000000000ULL
 A value of native width with the two highest bits set. More...
 
#define MAX_ADDRESS   0xFFFFFFFFFFFFFFFFULL
 Maximum legal x64 address. More...
 
#define MAX_ALLOC_ADDRESS   MAX_ADDRESS
 Maximum usable address at boot time. More...
 
#define MAX_INTN   ((INTN)0x7FFFFFFFFFFFFFFFULL)
 Maximum legal x64 INTN and UINTN values. More...
 
#define MAX_UINTN   ((UINTN)0xFFFFFFFFFFFFFFFFULL)
 
#define MIN_INTN   (((INTN)-9223372036854775807LL) - 1)
 Minimum legal x64 INTN value. More...
 
#define CPU_STACK_ALIGNMENT   16
 The stack alignment required for x64. More...
 
#define DEFAULT_PAGE_ALLOCATION_GRANULARITY   (0x1000)
 Page allocation granularity for x64. More...
 
#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. More...
 
#define FUNCTION_ENTRY_POINT(FunctionPointer)   (VOID *)(UINTN)(FunctionPointer)
 Return the pointer to the first instruction of a function given a function pointer. More...
 
#define __USER_LABEL_PREFIX__
 

Typedefs

typedef unsigned long long UINT64
 8-byte unsigned value More...
 
typedef long long INT64
 8-byte signed value More...
 
typedef unsigned int UINT32
 4-byte unsigned value More...
 
typedef int INT32
 4-byte signed value More...
 
typedef unsigned short UINT16
 2-byte unsigned value More...
 
typedef unsigned short CHAR16
 2-byte Character. More...
 
typedef short INT16
 2-byte signed value More...
 
typedef unsigned char BOOLEAN
 Logical Boolean. More...
 
typedef unsigned char UINT8
 1-byte unsigned value More...
 
typedef char CHAR8
 1-byte Character More...
 
typedef signed char INT8
 1-byte signed value More...
 
typedef UINT64 UINTN
 Unsigned value of native width. More...
 
typedef INT64 INTN
 Signed value of native width. More...
 

Functions

 FILE_LICENCE (BSD2_PATENT)
 

Detailed Description

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.

Macro Definition Documentation

◆ MDE_CPU_X64

#define MDE_CPU_X64

Define the processor type so other code can make processor based choices.

Definition at line 17 of file ProcessorBind.h.

◆ MAX_BIT

#define MAX_BIT   0x8000000000000000ULL

A value of native width with the highest bit set.

Definition at line 227 of file ProcessorBind.h.

◆ MAX_2_BITS

#define MAX_2_BITS   0xC000000000000000ULL

A value of native width with the two highest bits set.

Definition at line 231 of file ProcessorBind.h.

◆ MAX_ADDRESS

#define MAX_ADDRESS   0xFFFFFFFFFFFFFFFFULL

Maximum legal x64 address.

Definition at line 236 of file ProcessorBind.h.

◆ MAX_ALLOC_ADDRESS

#define MAX_ALLOC_ADDRESS   MAX_ADDRESS

Maximum usable address at boot time.

Definition at line 241 of file ProcessorBind.h.

◆ MAX_INTN

#define MAX_INTN   ((INTN)0x7FFFFFFFFFFFFFFFULL)

Maximum legal x64 INTN and UINTN values.

Definition at line 246 of file ProcessorBind.h.

◆ MAX_UINTN

#define MAX_UINTN   ((UINTN)0xFFFFFFFFFFFFFFFFULL)

Definition at line 247 of file ProcessorBind.h.

◆ MIN_INTN

#define MIN_INTN   (((INTN)-9223372036854775807LL) - 1)

Minimum legal x64 INTN value.

Definition at line 252 of file ProcessorBind.h.

◆ CPU_STACK_ALIGNMENT

#define CPU_STACK_ALIGNMENT   16

The stack alignment required for x64.

Definition at line 257 of file ProcessorBind.h.

◆ DEFAULT_PAGE_ALLOCATION_GRANULARITY

#define DEFAULT_PAGE_ALLOCATION_GRANULARITY   (0x1000)

Page allocation granularity for x64.

Definition at line 262 of file ProcessorBind.h.

◆ RUNTIME_PAGE_ALLOCATION_GRANULARITY

#define RUNTIME_PAGE_ALLOCATION_GRANULARITY   (0x1000)

Definition at line 263 of file ProcessorBind.h.

◆ EFIAPI

#define EFIAPI

The default for a non Microsoft* or GCC compiler is to assume the EFI ABI is the standard.

Definition at line 294 of file ProcessorBind.h.

◆ FUNCTION_ENTRY_POINT

#define FUNCTION_ENTRY_POINT (   FunctionPointer)    (VOID *)(UINTN)(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.

Parameters
FunctionPointerA pointer to a function.
Returns
The pointer to the first instruction of a function given a function pointer.

Definition at line 315 of file ProcessorBind.h.

◆ __USER_LABEL_PREFIX__

#define __USER_LABEL_PREFIX__

Definition at line 318 of file ProcessorBind.h.

Typedef Documentation

◆ UINT64

typedef unsigned long long UINT64

8-byte unsigned value

Definition at line 164 of file ProcessorBind.h.

◆ INT64

typedef long long INT64

8-byte signed value

Definition at line 168 of file ProcessorBind.h.

◆ UINT32

typedef unsigned int UINT32

4-byte unsigned value

Definition at line 172 of file ProcessorBind.h.

◆ INT32

typedef int INT32

4-byte signed value

Definition at line 176 of file ProcessorBind.h.

◆ UINT16

typedef unsigned short UINT16

2-byte unsigned value

Definition at line 180 of file ProcessorBind.h.

◆ CHAR16

typedef unsigned short CHAR16

2-byte Character.

Unless otherwise specified all strings are stored in the UTF-16 encoding format as defined by Unicode 2.1 and ISO/IEC 10646 standards.

Definition at line 185 of file ProcessorBind.h.

◆ INT16

typedef short INT16

2-byte signed value

Definition at line 189 of file ProcessorBind.h.

◆ BOOLEAN

typedef unsigned char BOOLEAN

Logical Boolean.

1-byte value containing 0 for FALSE or a 1 for TRUE. Other values are undefined.

Definition at line 194 of file ProcessorBind.h.

◆ UINT8

typedef unsigned char UINT8

1-byte unsigned value

Definition at line 198 of file ProcessorBind.h.

◆ CHAR8

typedef char CHAR8

1-byte Character

Definition at line 202 of file ProcessorBind.h.

◆ INT8

typedef signed char INT8

1-byte signed value

Definition at line 206 of file ProcessorBind.h.

◆ UINTN

typedef UINT64 UINTN

Unsigned value of native width.

(4 bytes on supported 32-bit processor instructions, 8 bytes on supported 64-bit processor instructions)

Definition at line 213 of file ProcessorBind.h.

◆ INTN

typedef INT64 INTN

Signed value of native width.

(4 bytes on supported 32-bit processor instructions, 8 bytes on supported 64-bit processor instructions)

Definition at line 218 of file ProcessorBind.h.

Function Documentation

◆ FILE_LICENCE()

FILE_LICENCE ( BSD2_PATENT  )