Searched refs:fdt_property_u64 (Results 1 – 2 of 2) sorted by relevance
95 fdt_property_u64(fdt, "reg", cpuid); in add_cpu()320 fdt_property_u64(fdt, "bus-range", (0ul << 32) | 1); in fdt_add_pcie()
1311 static inline int fdt_property_u64(void *fdt, const char *name, uint64_t val) in fdt_property_u64() function