Searched refs:fdt_high (Results 1 – 5 of 5) sorted by relevance
118 char *fdt_high; in boot_relocate_fdt() local137 fdt_high = env_get("fdt_high"); in boot_relocate_fdt()138 if (fdt_high) { in boot_relocate_fdt()139 void *desired_addr = (void *)simple_strtoul(fdt_high, NULL, 16); in boot_relocate_fdt()
27 resulting in fdt_high to be defined specially.
183 RISC-V # setenv fdt_high 0x1f00000
243 setenv fdt_high 0xffffffff
3752 fdt_high - if set this restricts the maximum address that the3757 may need to set fdt_high as 0x3C000000 to have the