xref: /optee_os/core/lib/libfdt/fdt.c (revision 17f326eba66aab9ea16549754a95252dd5551a13)
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