1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ARCH_POWERPC_BOOT_LIBFDT_ENV_H
3#define _ARCH_POWERPC_BOOT_LIBFDT_ENV_H
4
5#include <types.h>
6#include <string.h>
7
8#define INT_MAX			((int)(~0U>>1))
9#define UINT32_MAX		((u32)~0U)
10#define INT32_MAX		((s32)(UINT32_MAX >> 1))
11
12#include "of.h"
13
14typedef unsigned long uintptr_t;
15
16typedef __be16 fdt16_t;
17typedef __be32 fdt32_t;
18typedef __be64 fdt64_t;
19
20#define fdt16_to_cpu(x)		be16_to_cpu(x)
21#define cpu_to_fdt16(x)		cpu_to_be16(x)
22#define fdt32_to_cpu(x)		be32_to_cpu(x)
23#define cpu_to_fdt32(x)		cpu_to_be32(x)
24#define fdt64_to_cpu(x)		be64_to_cpu(x)
25#define cpu_to_fdt64(x)		cpu_to_be64(x)
26
27#endif /* _ARCH_POWERPC_BOOT_LIBFDT_ENV_H */
28