| /* |
| * (C) Copyright 2016 |
| * Cédric Schieli <cschieli@gmail.com> |
| * |
| * SPDX-License-Identifier: GPL-2.0+ |
| */ |
| |
| #include <config.h> |
| |
| .align 8 |
| .global fw_dtb_pointer |
| fw_dtb_pointer: |
| #ifdef CONFIG_ARM64 |
| .dword 0x0 |
| #else |
| .word 0x0 |
| #endif |
| |
| /* |
| * Routine: save_boot_params (called after reset from start.S) |
| * Description: save ATAG/FDT address provided by the firmware at boot time |
| */ |
| |
| .global save_boot_params |
| save_boot_params: |
| |
| /* The firmware provided ATAG/FDT address can be found in r2/x0 */ |
| #ifdef CONFIG_ARM64 |
| adr x8, fw_dtb_pointer |
| str x0, [x8] |
| #else |
| str r2, fw_dtb_pointer |
| #endif |
| |
| /* Returns */ |
| b save_boot_params_ret |