Searched refs:_saved_boot_r2 (Results 1 – 1 of 1) sorted by relevance
356 static u32 _saved_boot_r2 = 3; variable361 _saved_boot_r2 = r2; in save_boot_params()385 if (_saved_boot_r0 != 0 || fdt_check_header((void *)_saved_boot_r2)) in rpi_passed_fdt()387 return (void *)_saved_boot_r2; in rpi_passed_fdt()403 setenv_hex("fdt_addr_r", _saved_boot_r2); in set_boot_args()408 setenv_hex("fdt_high", _saved_boot_r2 - 512 * 1024); in set_boot_args()