386 const char *fdt_get_name(const void *fdt, int nodeoffset, int *lenp);
455 						      int *lenp);
471 						    int namelen, int *lenp);
501 					    const char *name, int *lenp);
504 						      int *lenp)  in fdt_get_property_w()  argument
507 		fdt_get_property(fdt, nodeoffset, name, lenp);  in fdt_get_property_w()
542 				  const char **namep, int *lenp);
556 				const char *name, int namelen, int *lenp);
586 			const char *name, int *lenp);
588 				  const char *name, int *lenp)  in fdt_getprop_w()  argument
590 	return (void *)(uintptr_t)fdt_getprop(fdt, nodeoffset, name, lenp);  in fdt_getprop_w()
936 			       int *lenp);