1*17f326ebSJerome Forissier // SPDX-License-Identifier: (GPL-2.0-or-later OR BSD-2-Clause)
2b908c675SJens Wiklander /*
3b908c675SJens Wiklander * libfdt - Flat Device Tree manipulation
4b908c675SJens Wiklander * Copyright (C) 2006 David Gibson, IBM Corporation.
5b908c675SJens Wiklander */
6b908c675SJens Wiklander #include "libfdt_env.h"
7b908c675SJens Wiklander
8b908c675SJens Wiklander #include <fdt.h>
9b908c675SJens Wiklander #include <libfdt.h>
10b908c675SJens Wiklander
11b908c675SJens Wiklander #include "libfdt_internal.h"
12b908c675SJens Wiklander
13*17f326ebSJerome Forissier /*
14*17f326ebSJerome Forissier * Minimal sanity check for a read-only tree. fdt_ro_probe_() checks
15*17f326ebSJerome Forissier * that the given buffer contains what appears to be a flattened
16*17f326ebSJerome Forissier * device tree with sane information in its header.
17*17f326ebSJerome Forissier */
fdt_ro_probe_(const void * fdt)18*17f326ebSJerome Forissier int32_t fdt_ro_probe_(const void *fdt)
19b908c675SJens Wiklander {
20*17f326ebSJerome Forissier uint32_t totalsize = fdt_totalsize(fdt);
21*17f326ebSJerome Forissier
22b908c675SJens Wiklander if (fdt_magic(fdt) == FDT_MAGIC) {
23b908c675SJens Wiklander /* Complete tree */
24b908c675SJens Wiklander if (fdt_version(fdt) < FDT_FIRST_SUPPORTED_VERSION)
25b908c675SJens Wiklander return -FDT_ERR_BADVERSION;
26b908c675SJens Wiklander if (fdt_last_comp_version(fdt) > FDT_LAST_SUPPORTED_VERSION)
27b908c675SJens Wiklander return -FDT_ERR_BADVERSION;
28b908c675SJens Wiklander } else if (fdt_magic(fdt) == FDT_SW_MAGIC) {
29b908c675SJens Wiklander /* Unfinished sequential-write blob */
30b908c675SJens Wiklander if (fdt_size_dt_struct(fdt) == 0)
31b908c675SJens Wiklander return -FDT_ERR_BADSTATE;
32b908c675SJens Wiklander } else {
33b908c675SJens Wiklander return -FDT_ERR_BADMAGIC;
34b908c675SJens Wiklander }
35b908c675SJens Wiklander
36*17f326ebSJerome Forissier if (totalsize < INT32_MAX)
37*17f326ebSJerome Forissier return totalsize;
38*17f326ebSJerome Forissier else
39*17f326ebSJerome Forissier return -FDT_ERR_TRUNCATED;
40*17f326ebSJerome Forissier }
41*17f326ebSJerome Forissier
check_off_(uint32_t hdrsize,uint32_t totalsize,uint32_t off)42*17f326ebSJerome Forissier static int check_off_(uint32_t hdrsize, uint32_t totalsize, uint32_t off)
43*17f326ebSJerome Forissier {
44*17f326ebSJerome Forissier return (off >= hdrsize) && (off <= totalsize);
45*17f326ebSJerome Forissier }
46*17f326ebSJerome Forissier
check_block_(uint32_t hdrsize,uint32_t totalsize,uint32_t base,uint32_t size)47*17f326ebSJerome Forissier static int check_block_(uint32_t hdrsize, uint32_t totalsize,
48*17f326ebSJerome Forissier uint32_t base, uint32_t size)
49*17f326ebSJerome Forissier {
50*17f326ebSJerome Forissier if (!check_off_(hdrsize, totalsize, base))
51*17f326ebSJerome Forissier return 0; /* block start out of bounds */
52*17f326ebSJerome Forissier if ((base + size) < base)
53*17f326ebSJerome Forissier return 0; /* overflow */
54*17f326ebSJerome Forissier if (!check_off_(hdrsize, totalsize, base + size))
55*17f326ebSJerome Forissier return 0; /* block end out of bounds */
56*17f326ebSJerome Forissier return 1;
57*17f326ebSJerome Forissier }
58*17f326ebSJerome Forissier
fdt_header_size_(uint32_t version)59*17f326ebSJerome Forissier size_t fdt_header_size_(uint32_t version)
60*17f326ebSJerome Forissier {
61*17f326ebSJerome Forissier if (version <= 1)
62*17f326ebSJerome Forissier return FDT_V1_SIZE;
63*17f326ebSJerome Forissier else if (version <= 2)
64*17f326ebSJerome Forissier return FDT_V2_SIZE;
65*17f326ebSJerome Forissier else if (version <= 3)
66*17f326ebSJerome Forissier return FDT_V3_SIZE;
67*17f326ebSJerome Forissier else if (version <= 16)
68*17f326ebSJerome Forissier return FDT_V16_SIZE;
69*17f326ebSJerome Forissier else
70*17f326ebSJerome Forissier return FDT_V17_SIZE;
71*17f326ebSJerome Forissier }
72*17f326ebSJerome Forissier
fdt_check_header(const void * fdt)73*17f326ebSJerome Forissier int fdt_check_header(const void *fdt)
74*17f326ebSJerome Forissier {
75*17f326ebSJerome Forissier size_t hdrsize;
76*17f326ebSJerome Forissier
77*17f326ebSJerome Forissier if (fdt_magic(fdt) != FDT_MAGIC)
78*17f326ebSJerome Forissier return -FDT_ERR_BADMAGIC;
79*17f326ebSJerome Forissier hdrsize = fdt_header_size(fdt);
80*17f326ebSJerome Forissier if ((fdt_version(fdt) < FDT_FIRST_SUPPORTED_VERSION)
81*17f326ebSJerome Forissier || (fdt_last_comp_version(fdt) > FDT_LAST_SUPPORTED_VERSION))
82*17f326ebSJerome Forissier return -FDT_ERR_BADVERSION;
83*17f326ebSJerome Forissier if (fdt_version(fdt) < fdt_last_comp_version(fdt))
84*17f326ebSJerome Forissier return -FDT_ERR_BADVERSION;
85*17f326ebSJerome Forissier
86*17f326ebSJerome Forissier if ((fdt_totalsize(fdt) < hdrsize)
87*17f326ebSJerome Forissier || (fdt_totalsize(fdt) > INT_MAX))
88*17f326ebSJerome Forissier return -FDT_ERR_TRUNCATED;
89*17f326ebSJerome Forissier
90*17f326ebSJerome Forissier /* Bounds check memrsv block */
91*17f326ebSJerome Forissier if (!check_off_(hdrsize, fdt_totalsize(fdt), fdt_off_mem_rsvmap(fdt)))
92*17f326ebSJerome Forissier return -FDT_ERR_TRUNCATED;
93*17f326ebSJerome Forissier
94*17f326ebSJerome Forissier /* Bounds check structure block */
95*17f326ebSJerome Forissier if (fdt_version(fdt) < 17) {
96*17f326ebSJerome Forissier if (!check_off_(hdrsize, fdt_totalsize(fdt),
97*17f326ebSJerome Forissier fdt_off_dt_struct(fdt)))
98*17f326ebSJerome Forissier return -FDT_ERR_TRUNCATED;
99*17f326ebSJerome Forissier } else {
100*17f326ebSJerome Forissier if (!check_block_(hdrsize, fdt_totalsize(fdt),
101*17f326ebSJerome Forissier fdt_off_dt_struct(fdt),
102*17f326ebSJerome Forissier fdt_size_dt_struct(fdt)))
103*17f326ebSJerome Forissier return -FDT_ERR_TRUNCATED;
104*17f326ebSJerome Forissier }
105*17f326ebSJerome Forissier
106*17f326ebSJerome Forissier /* Bounds check strings block */
107*17f326ebSJerome Forissier if (!check_block_(hdrsize, fdt_totalsize(fdt),
108*17f326ebSJerome Forissier fdt_off_dt_strings(fdt), fdt_size_dt_strings(fdt)))
109*17f326ebSJerome Forissier return -FDT_ERR_TRUNCATED;
110*17f326ebSJerome Forissier
111b908c675SJens Wiklander return 0;
112b908c675SJens Wiklander }
113b908c675SJens Wiklander
fdt_offset_ptr(const void * fdt,int offset,unsigned int len)114b908c675SJens Wiklander const void *fdt_offset_ptr(const void *fdt, int offset, unsigned int len)
115b908c675SJens Wiklander {
116a0ffc59bSJens Wiklander unsigned absoffset = offset + fdt_off_dt_struct(fdt);
117a0ffc59bSJens Wiklander
118a0ffc59bSJens Wiklander if ((absoffset < offset)
119a0ffc59bSJens Wiklander || ((absoffset + len) < absoffset)
120a0ffc59bSJens Wiklander || (absoffset + len) > fdt_totalsize(fdt))
121a0ffc59bSJens Wiklander return NULL;
122b908c675SJens Wiklander
123b908c675SJens Wiklander if (fdt_version(fdt) >= 0x11)
124b908c675SJens Wiklander if (((offset + len) < offset)
125b908c675SJens Wiklander || ((offset + len) > fdt_size_dt_struct(fdt)))
126b908c675SJens Wiklander return NULL;
127b908c675SJens Wiklander
12801d6a9daSBryan O'Donoghue return fdt_offset_ptr_(fdt, offset);
129b908c675SJens Wiklander }
130b908c675SJens Wiklander
fdt_next_tag(const void * fdt,int startoffset,int * nextoffset)131b908c675SJens Wiklander uint32_t fdt_next_tag(const void *fdt, int startoffset, int *nextoffset)
132b908c675SJens Wiklander {
133b908c675SJens Wiklander const fdt32_t *tagp, *lenp;
134b908c675SJens Wiklander uint32_t tag;
135b908c675SJens Wiklander int offset = startoffset;
136b908c675SJens Wiklander const char *p;
137b908c675SJens Wiklander
138b908c675SJens Wiklander *nextoffset = -FDT_ERR_TRUNCATED;
139b908c675SJens Wiklander tagp = fdt_offset_ptr(fdt, offset, FDT_TAGSIZE);
140b908c675SJens Wiklander if (!tagp)
141b908c675SJens Wiklander return FDT_END; /* premature end */
142b908c675SJens Wiklander tag = fdt32_to_cpu(*tagp);
143b908c675SJens Wiklander offset += FDT_TAGSIZE;
144b908c675SJens Wiklander
145b908c675SJens Wiklander *nextoffset = -FDT_ERR_BADSTRUCTURE;
146b908c675SJens Wiklander switch (tag) {
147b908c675SJens Wiklander case FDT_BEGIN_NODE:
148b908c675SJens Wiklander /* skip name */
149b908c675SJens Wiklander do {
150b908c675SJens Wiklander p = fdt_offset_ptr(fdt, offset++, 1);
151b908c675SJens Wiklander } while (p && (*p != '\0'));
152b908c675SJens Wiklander if (!p)
153b908c675SJens Wiklander return FDT_END; /* premature end */
154b908c675SJens Wiklander break;
155b908c675SJens Wiklander
156b908c675SJens Wiklander case FDT_PROP:
157b908c675SJens Wiklander lenp = fdt_offset_ptr(fdt, offset, sizeof(*lenp));
158b908c675SJens Wiklander if (!lenp)
159b908c675SJens Wiklander return FDT_END; /* premature end */
160b908c675SJens Wiklander /* skip-name offset, length and value */
161b908c675SJens Wiklander offset += sizeof(struct fdt_property) - FDT_TAGSIZE
162b908c675SJens Wiklander + fdt32_to_cpu(*lenp);
16301d6a9daSBryan O'Donoghue if (fdt_version(fdt) < 0x10 && fdt32_to_cpu(*lenp) >= 8 &&
16401d6a9daSBryan O'Donoghue ((offset - fdt32_to_cpu(*lenp)) % 8) != 0)
16501d6a9daSBryan O'Donoghue offset += 4;
166b908c675SJens Wiklander break;
167b908c675SJens Wiklander
168b908c675SJens Wiklander case FDT_END:
169b908c675SJens Wiklander case FDT_END_NODE:
170b908c675SJens Wiklander case FDT_NOP:
171b908c675SJens Wiklander break;
172b908c675SJens Wiklander
173b908c675SJens Wiklander default:
174b908c675SJens Wiklander return FDT_END;
175b908c675SJens Wiklander }
176b908c675SJens Wiklander
177b908c675SJens Wiklander if (!fdt_offset_ptr(fdt, startoffset, offset - startoffset))
178b908c675SJens Wiklander return FDT_END; /* premature end */
179b908c675SJens Wiklander
180b908c675SJens Wiklander *nextoffset = FDT_TAGALIGN(offset);
181b908c675SJens Wiklander return tag;
182b908c675SJens Wiklander }
183b908c675SJens Wiklander
fdt_check_node_offset_(const void * fdt,int offset)18401d6a9daSBryan O'Donoghue int fdt_check_node_offset_(const void *fdt, int offset)
185b908c675SJens Wiklander {
186b908c675SJens Wiklander if ((offset < 0) || (offset % FDT_TAGSIZE)
187b908c675SJens Wiklander || (fdt_next_tag(fdt, offset, &offset) != FDT_BEGIN_NODE))
188b908c675SJens Wiklander return -FDT_ERR_BADOFFSET;
189b908c675SJens Wiklander
190b908c675SJens Wiklander return offset;
191b908c675SJens Wiklander }
192b908c675SJens Wiklander
fdt_check_prop_offset_(const void * fdt,int offset)19301d6a9daSBryan O'Donoghue int fdt_check_prop_offset_(const void *fdt, int offset)
194b908c675SJens Wiklander {
195b908c675SJens Wiklander if ((offset < 0) || (offset % FDT_TAGSIZE)
196b908c675SJens Wiklander || (fdt_next_tag(fdt, offset, &offset) != FDT_PROP))
197b908c675SJens Wiklander return -FDT_ERR_BADOFFSET;
198b908c675SJens Wiklander
199b908c675SJens Wiklander return offset;
200b908c675SJens Wiklander }
201b908c675SJens Wiklander
fdt_next_node(const void * fdt,int offset,int * depth)202b908c675SJens Wiklander int fdt_next_node(const void *fdt, int offset, int *depth)
203b908c675SJens Wiklander {
204b908c675SJens Wiklander int nextoffset = 0;
205b908c675SJens Wiklander uint32_t tag;
206b908c675SJens Wiklander
207b908c675SJens Wiklander if (offset >= 0)
20801d6a9daSBryan O'Donoghue if ((nextoffset = fdt_check_node_offset_(fdt, offset)) < 0)
209b908c675SJens Wiklander return nextoffset;
210b908c675SJens Wiklander
211b908c675SJens Wiklander do {
212b908c675SJens Wiklander offset = nextoffset;
213b908c675SJens Wiklander tag = fdt_next_tag(fdt, offset, &nextoffset);
214b908c675SJens Wiklander
215b908c675SJens Wiklander switch (tag) {
216b908c675SJens Wiklander case FDT_PROP:
217b908c675SJens Wiklander case FDT_NOP:
218b908c675SJens Wiklander break;
219b908c675SJens Wiklander
220b908c675SJens Wiklander case FDT_BEGIN_NODE:
221b908c675SJens Wiklander if (depth)
222b908c675SJens Wiklander (*depth)++;
223b908c675SJens Wiklander break;
224b908c675SJens Wiklander
225b908c675SJens Wiklander case FDT_END_NODE:
226b908c675SJens Wiklander if (depth && ((--(*depth)) < 0))
227b908c675SJens Wiklander return nextoffset;
228b908c675SJens Wiklander break;
229b908c675SJens Wiklander
230b908c675SJens Wiklander case FDT_END:
231b908c675SJens Wiklander if ((nextoffset >= 0)
232b908c675SJens Wiklander || ((nextoffset == -FDT_ERR_TRUNCATED) && !depth))
233b908c675SJens Wiklander return -FDT_ERR_NOTFOUND;
234b908c675SJens Wiklander else
235b908c675SJens Wiklander return nextoffset;
236b908c675SJens Wiklander }
237b908c675SJens Wiklander } while (tag != FDT_BEGIN_NODE);
238b908c675SJens Wiklander
239b908c675SJens Wiklander return offset;
240b908c675SJens Wiklander }
241b908c675SJens Wiklander
fdt_first_subnode(const void * fdt,int offset)242b908c675SJens Wiklander int fdt_first_subnode(const void *fdt, int offset)
243b908c675SJens Wiklander {
244b908c675SJens Wiklander int depth = 0;
245b908c675SJens Wiklander
246b908c675SJens Wiklander offset = fdt_next_node(fdt, offset, &depth);
247b908c675SJens Wiklander if (offset < 0 || depth != 1)
248b908c675SJens Wiklander return -FDT_ERR_NOTFOUND;
249b908c675SJens Wiklander
250b908c675SJens Wiklander return offset;
251b908c675SJens Wiklander }
252b908c675SJens Wiklander
fdt_next_subnode(const void * fdt,int offset)253b908c675SJens Wiklander int fdt_next_subnode(const void *fdt, int offset)
254b908c675SJens Wiklander {
255b908c675SJens Wiklander int depth = 1;
256b908c675SJens Wiklander
257b908c675SJens Wiklander /*
258b908c675SJens Wiklander * With respect to the parent, the depth of the next subnode will be
259b908c675SJens Wiklander * the same as the last.
260b908c675SJens Wiklander */
261b908c675SJens Wiklander do {
262b908c675SJens Wiklander offset = fdt_next_node(fdt, offset, &depth);
263b908c675SJens Wiklander if (offset < 0 || depth < 1)
264b908c675SJens Wiklander return -FDT_ERR_NOTFOUND;
265b908c675SJens Wiklander } while (depth > 1);
266b908c675SJens Wiklander
267b908c675SJens Wiklander return offset;
268b908c675SJens Wiklander }
269b908c675SJens Wiklander
fdt_find_string_(const char * strtab,int tabsize,const char * s)27001d6a9daSBryan O'Donoghue const char *fdt_find_string_(const char *strtab, int tabsize, const char *s)
271b908c675SJens Wiklander {
272b908c675SJens Wiklander int len = strlen(s) + 1;
273b908c675SJens Wiklander const char *last = strtab + tabsize - len;
274b908c675SJens Wiklander const char *p;
275b908c675SJens Wiklander
276b908c675SJens Wiklander for (p = strtab; p <= last; p++)
277b908c675SJens Wiklander if (memcmp(p, s, len) == 0)
278b908c675SJens Wiklander return p;
279b908c675SJens Wiklander return NULL;
280b908c675SJens Wiklander }
281b908c675SJens Wiklander
fdt_move(const void * fdt,void * buf,int bufsize)282b908c675SJens Wiklander int fdt_move(const void *fdt, void *buf, int bufsize)
283b908c675SJens Wiklander {
284*17f326ebSJerome Forissier FDT_RO_PROBE(fdt);
285b908c675SJens Wiklander
286b908c675SJens Wiklander if (fdt_totalsize(fdt) > bufsize)
287b908c675SJens Wiklander return -FDT_ERR_NOSPACE;
288b908c675SJens Wiklander
289b908c675SJens Wiklander memmove(buf, fdt, fdt_totalsize(fdt));
290b908c675SJens Wiklander return 0;
291b908c675SJens Wiklander }
292