/** @file\r
*\r
-* Copyright (c) 2011-2012, ARM Limited. All rights reserved.\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
+* Copyright (c) 2011-2014, ARM Limited. All rights reserved.\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
+* 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
**/\r
\r
#include <Library/BaseLib.h>\r
#include <Library/BaseMemoryLib.h>\r
\r
+typedef UINT16 fdt16_t;\r
+typedef UINT32 fdt32_t;\r
+typedef UINT64 fdt64_t;\r
+\r
typedef UINT8 uint8_t;\r
typedef UINT16 uint16_t;\r
typedef UINT32 uint32_t;\r
typedef UINTN uintptr_t;\r
typedef UINTN size_t;\r
\r
-static inline uint16_t fdt16_to_cpu(uint16_t x)\r
+static inline uint16_t fdt16_to_cpu(fdt16_t x)\r
{\r
return SwapBytes16 (x);\r
}\r
#define cpu_to_fdt16(x) fdt16_to_cpu(x)\r
\r
-static inline uint32_t fdt32_to_cpu(uint32_t x)\r
+static inline uint32_t fdt32_to_cpu(fdt32_t x)\r
{\r
return SwapBytes32 (x);\r
}\r
#define cpu_to_fdt32(x) fdt32_to_cpu(x)\r
\r
-static inline uint64_t fdt64_to_cpu(uint64_t x)\r
+static inline uint64_t fdt64_to_cpu(fdt64_t x)\r
{\r
return SwapBytes64 (x);\r
}\r