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