Searched refs:fdt_high (Results 1 – 5 of 5) sorted by relevance
157 char *fdt_high; in boot_relocate_fdt() local176 fdt_high = env_get("fdt_high"); in boot_relocate_fdt()177 if (fdt_high) { in boot_relocate_fdt()178 void *desired_addr = (void *)simple_strtoul(fdt_high, NULL, 16); in boot_relocate_fdt()
30 resulting in fdt_high to be defined specially.
127 * Also, set the environment variable fdt_high
238 RISC-V # setenv fdt_high 0x1f00000
3455 fdt_high - if set this restricts the maximum address that the3460 may need to set fdt_high as 0x3C000000 to have the