| // SPDX-License-Identifier: GPL-2.0 | |
| #ifndef __ARM64_ASM_SETUP_H | |
| #define __ARM64_ASM_SETUP_H | |
| #include <uapi/asm/setup.h> | |
| void *get_early_fdt_ptr(void); | |
| void early_fdt_map(u64 dt_phys); | |
| /* | |
| * These two variables are used in the head.S file. | |
| */ | |
| extern phys_addr_t __fdt_pointer __initdata; | |
| extern u64 __cacheline_aligned boot_args[4]; | |
| #endif |