| /* SPDX-License-Identifier: GPL-2.0 */ | 
 | #ifndef _ARCH_POWERPC_BOOT_LIBFDT_ENV_H | 
 | #define _ARCH_POWERPC_BOOT_LIBFDT_ENV_H | 
 |  | 
 | #include <types.h> | 
 | #include <string.h> | 
 |  | 
 | #define INT_MAX			((int)(~0U>>1)) | 
 | #define UINT32_MAX		((u32)~0U) | 
 | #define INT32_MAX		((s32)(UINT32_MAX >> 1)) | 
 |  | 
 | #include "of.h" | 
 |  | 
 | typedef unsigned long uintptr_t; | 
 |  | 
 | typedef __be16 fdt16_t; | 
 | typedef __be32 fdt32_t; | 
 | typedef __be64 fdt64_t; | 
 |  | 
 | #define fdt16_to_cpu(x)		be16_to_cpu(x) | 
 | #define cpu_to_fdt16(x)		cpu_to_be16(x) | 
 | #define fdt32_to_cpu(x)		be32_to_cpu(x) | 
 | #define cpu_to_fdt32(x)		cpu_to_be32(x) | 
 | #define fdt64_to_cpu(x)		be64_to_cpu(x) | 
 | #define cpu_to_fdt64(x)		cpu_to_be64(x) | 
 |  | 
 | #endif /* _ARCH_POWERPC_BOOT_LIBFDT_ENV_H */ |