/* 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 */
|
