Searched refs:fdt32_to_cpu (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/fdtgen/
H A Dfdt_utils.c69 printf("0x%08x%s", fdt32_to_cpu(GET_CELL(p)),
84 uint32_t off_mem_rsvmap = fdt32_to_cpu(bph->off_mem_rsvmap);
85 uint32_t off_dt = fdt32_to_cpu(bph->off_dt_struct);
86 uint32_t off_str = fdt32_to_cpu(bph->off_dt_strings);
91 uint32_t version = fdt32_to_cpu(bph->version);
92 uint32_t totalsize = fdt32_to_cpu(bph->totalsize);
103 printf("// magic:\t\t0x%x\n", fdt32_to_cpu(bph->magic));
110 fdt32_to_cpu(bph->last_comp_version));
113 fdt32_to_cpu(bph->boot_cpuid_phys));
117 fdt32_to_cpu(bp
[all...]
/seL4-camkes-master/projects/util_libs/libfdt/
H A Dfdt_addresses.c72 val = fdt32_to_cpu(*c);
H A Dfdt.c182 tag = fdt32_to_cpu(*tagp);
202 + fdt32_to_cpu(*lenp);
203 if (fdt_version(fdt) < 0x10 && fdt32_to_cpu(*lenp) >= 8 &&
204 ((offset - fdt32_to_cpu(*lenp)) % 8) != 0)
H A Dlibfdt_env.h91 static inline uint32_t fdt32_to_cpu(fdt32_t x) function
H A Dfdt_overlay.c82 if ((len != sizeof(*val)) || (fdt32_to_cpu(*val) == (uint32_t)-1))
85 return fdt32_to_cpu(*val);
175 adj_val = fdt32_to_cpu(*val);
302 poffset = fdt32_to_cpu(fixup_val[i]);
312 adj_val = cpu_to_fdt32(fdt32_to_cpu(adj_val) + delta);
H A Dfdtget.c131 value = size == 4 ? fdt32_to_cpu(*(const uint32_t *)p) :
158 name = fdt_string(blob, fdt32_to_cpu(data->nameoff));
H A Dfdt_sw.c352 nameoff = fdt32_to_cpu(prop->nameoff);
H A Dlibfdt.h169 return fdt32_to_cpu(v);

Completed in 209 milliseconds