| 123456789101112131415161718192021222324252627282930313233343536 |
- /*
- * (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
|
