--- /dev/null
+/** @file\r
+\r
+ Copyright (c) 2013, ARM Ltd. All rights reserved.<BR>\r
+\r
+ This program and the accompanying materials\r
+ are licensed and made available under the terms and conditions of the BSD License\r
+ which accompanies this distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+Module Name:\r
+\r
+ EfiBind.h\r
+\r
+Abstract:\r
+\r
+ Processor or Compiler specific defines and types for AArch64.\r
+ We are using the ANSI C 2000 _t type definitions for basic types.\r
+ This it technically a violation of the coding standard, but they\r
+ are used to make EfiTypes.h portable. Code other than EfiTypes.h\r
+ should never use any ANSI C 2000 _t integer types.\r
+\r
+**/\r
+\r
+\r
+#ifndef _EFI_BIND_H_\r
+#define _EFI_BIND_H_\r
+\r
+\r
+#define EFI_DRIVER_ENTRY_POINT(InitFunction)\r
+#define EFI_APPLICATION_ENTRY_POINT EFI_DRIVER_ENTRY_POINT\r
+\r
+\r
+//\r
+// Make sure we are using the correct packing rules per EFI specification.\r
+//\r
+#ifndef __GNUC__\r
+#pragma pack()\r
+#endif\r
+\r
+\r
+//\r
+// Assume standard AArch64 alignment.\r
+// BugBug: Need to check portability of long long\r
+//\r
+typedef unsigned long long uint64_t;\r
+typedef long long int64_t;\r
+typedef unsigned int uint32_t;\r
+typedef int int32_t;\r
+typedef unsigned short uint16_t;\r
+typedef short int16_t;\r
+typedef unsigned char uint8_t;\r
+typedef signed char int8_t;\r
+\r
+//\r
+// Native integer size in stdint.h\r
+//\r
+typedef uint64_t uintn_t;\r
+typedef int64_t intn_t;\r
+\r
+//\r
+// Processor specific defines\r
+//\r
+#define EFI_MAX_BIT 0x8000000000000000\r
+#define MAX_2_BITS 0xC000000000000000\r
+\r
+//\r
+// Maximum legal AArch64 address\r
+//\r
+#define EFI_MAX_ADDRESS 0xFFFFFFFFFFFFFFFF\r
+\r
+//\r
+// Bad pointer value to use in check builds.\r
+// if you see this value you are using uninitialized or free'ed data\r
+//\r
+#define EFI_BAD_POINTER 0xAFAFAFAFAFAFAFAF\r
+#define EFI_BAD_POINTER_AS_BYTE 0xAF\r
+\r
+#define EFI_DEADLOOP() { volatile UINTN __iii; __iii = 1; while (__iii); }\r
+\r
+//\r
+// For real hardware, just put in a halt loop. Don't do a while(1) because the\r
+// compiler will optimize away the rest of the function following, so that you run out in\r
+// the weeds if you skip over it with a debugger.\r
+//\r
+#define EFI_BREAKPOINT EFI_DEADLOOP()\r
+\r
+\r
+//\r
+// Memory Fence forces serialization, and is needed to support out of order\r
+// memory transactions. The Memory Fence is mainly used to make sure IO\r
+// transactions complete in a deterministic sequence, and to syncronize locks\r
+// an other MP code. Currently no memory fencing is required.\r
+//\r
+#define MEMORY_FENCE()\r
+\r
+//\r
+// Some compilers don't support the forward reference construct:\r
+// typedef struct XXXXX. The forward reference is required for\r
+// ANSI compatibility.\r
+//\r
+// The following macro provide a workaround for such cases.\r
+//\r
+\r
+\r
+#ifdef EFI_NO_INTERFACE_DECL\r
+ #define EFI_FORWARD_DECLARATION(x)\r
+#else\r
+ #define EFI_FORWARD_DECLARATION(x) typedef struct _##x x\r
+#endif\r
+\r
+\r
+//\r
+// Some C compilers optimize the calling conventions to increase performance.\r
+// _EFIAPI is used to make all public APIs follow the standard C calling\r
+// convention.\r
+//\r
+#define _EFIAPI\r
+\r
+\r
+\r
+//\r
+// For symbol name in GNU assembly code, an extra "_" is necessary\r
+//\r
+#if defined(__GNUC__)\r
+ ///\r
+ /// Private worker functions for ASM_PFX()\r
+ ///\r
+ #define _CONCATENATE(a, b) __CONCATENATE(a, b)\r
+ #define __CONCATENATE(a, b) a ## b\r
+\r
+ ///\r
+ /// The __USER_LABEL_PREFIX__ macro predefined by GNUC represents the prefix\r
+ /// on symbols in assembly language.\r
+ ///\r
+ #define ASM_PFX(name) _CONCATENATE (__USER_LABEL_PREFIX__, name)\r
+\r
+#endif\r
+\r
+#endif\r
+\r