1 /* SPDX-License-Identifier: (GPL-2.0-or-later OR BSD-2-Clause) */
2 #ifndef LIBFDT_ENV_H
3 #define LIBFDT_ENV_H
4 /*
5 * libfdt - Flat Device Tree manipulation
6 * Copyright (C) 2006 David Gibson, IBM Corporation.
7 * Copyright 2012 Kim Phillips, Freescale Semiconductor.
8 */
9
10 // #include <stdbool.h>
11 // #include <stddef.h>
12 // #include <stdint.h>
13 // #include <stdlib.h>
14 // #include <string.h>
15 // #include <limits.h>
16 #include <dragonstub/types.h>
17 #include <dragonstub/limits.h>
18
19 #ifdef __CHECKER__
20 #define FDT_FORCE __attribute__((force))
21 #define FDT_BITWISE __attribute__((bitwise))
22 #else
23 #define FDT_FORCE
24 #define FDT_BITWISE
25 #endif
26
27 typedef uint16_t FDT_BITWISE fdt16_t;
28 typedef uint32_t FDT_BITWISE fdt32_t;
29 typedef uint64_t FDT_BITWISE fdt64_t;
30
31 #define EXTRACT_BYTE(x, n) ((unsigned long long)((uint8_t *)&x)[n])
32 #define CPU_TO_FDT16(x) ((EXTRACT_BYTE(x, 0) << 8) | EXTRACT_BYTE(x, 1))
33 #define CPU_TO_FDT32(x) \
34 ((EXTRACT_BYTE(x, 0) << 24) | (EXTRACT_BYTE(x, 1) << 16) | \
35 (EXTRACT_BYTE(x, 2) << 8) | EXTRACT_BYTE(x, 3))
36 #define CPU_TO_FDT64(x) \
37 ((EXTRACT_BYTE(x, 0) << 56) | (EXTRACT_BYTE(x, 1) << 48) | \
38 (EXTRACT_BYTE(x, 2) << 40) | (EXTRACT_BYTE(x, 3) << 32) | \
39 (EXTRACT_BYTE(x, 4) << 24) | (EXTRACT_BYTE(x, 5) << 16) | \
40 (EXTRACT_BYTE(x, 6) << 8) | EXTRACT_BYTE(x, 7))
41
fdt16_to_cpu(fdt16_t x)42 static inline uint16_t fdt16_to_cpu(fdt16_t x)
43 {
44 return (FDT_FORCE uint16_t)CPU_TO_FDT16(x);
45 }
cpu_to_fdt16(uint16_t x)46 static inline fdt16_t cpu_to_fdt16(uint16_t x)
47 {
48 return (FDT_FORCE fdt16_t)CPU_TO_FDT16(x);
49 }
50
fdt32_to_cpu(fdt32_t x)51 static inline uint32_t fdt32_to_cpu(fdt32_t x)
52 {
53 return (FDT_FORCE uint32_t)CPU_TO_FDT32(x);
54 }
cpu_to_fdt32(uint32_t x)55 static inline fdt32_t cpu_to_fdt32(uint32_t x)
56 {
57 return (FDT_FORCE fdt32_t)CPU_TO_FDT32(x);
58 }
59
fdt64_to_cpu(fdt64_t x)60 static inline uint64_t fdt64_to_cpu(fdt64_t x)
61 {
62 return (FDT_FORCE uint64_t)CPU_TO_FDT64(x);
63 }
cpu_to_fdt64(uint64_t x)64 static inline fdt64_t cpu_to_fdt64(uint64_t x)
65 {
66 return (FDT_FORCE fdt64_t)CPU_TO_FDT64(x);
67 }
68 #undef CPU_TO_FDT64
69 #undef CPU_TO_FDT32
70 #undef CPU_TO_FDT16
71 #undef EXTRACT_BYTE
72
73 #ifdef __APPLE__
74 #include <AvailabilityMacros.h>
75
76 /* strnlen() is not available on Mac OS < 10.7 */
77 #if !defined(MAC_OS_X_VERSION_10_7) || \
78 (MAC_OS_X_VERSION_MAX_ALLOWED < MAC_OS_X_VERSION_10_7)
79
80 #define strnlen fdt_strnlen
81
82 /*
83 * fdt_strnlen: returns the length of a string or max_count - which ever is
84 * smallest.
85 * Input 1 string: the string whose size is to be determined
86 * Input 2 max_count: the maximum value returned by this function
87 * Output: length of the string or max_count (the smallest of the two)
88 */
fdt_strnlen(const char * string,size_t max_count)89 static inline size_t fdt_strnlen(const char *string, size_t max_count)
90 {
91 const char *p = memchr(string, 0, max_count);
92 return p ? p - string : max_count;
93 }
94
95 #endif /* !defined(MAC_OS_X_VERSION_10_7) || (MAC_OS_X_VERSION_MAX_ALLOWED <
96 MAC_OS_X_VERSION_10_7) */
97
98 #endif /* __APPLE__ */
99
100 #endif /* LIBFDT_ENV_H */
101