fdt_get_symbol_namelen
return fdt_get_symbol_namelen(fdt, name, strlen(name));
const char *fdt_get_symbol_namelen(const void *fdt,
