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 42 static inline uint16_t fdt16_to_cpu(fdt16_t x) 43 { 44 return (FDT_FORCE uint16_t)CPU_TO_FDT16(x); 45 } 46 static inline fdt16_t cpu_to_fdt16(uint16_t x) 47 { 48 return (FDT_FORCE fdt16_t)CPU_TO_FDT16(x); 49 } 50 51 static inline uint32_t fdt32_to_cpu(fdt32_t x) 52 { 53 return (FDT_FORCE uint32_t)CPU_TO_FDT32(x); 54 } 55 static inline fdt32_t cpu_to_fdt32(uint32_t x) 56 { 57 return (FDT_FORCE fdt32_t)CPU_TO_FDT32(x); 58 } 59 60 static inline uint64_t fdt64_to_cpu(fdt64_t x) 61 { 62 return (FDT_FORCE uint64_t)CPU_TO_FDT64(x); 63 } 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 */ 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