1f6f0c436SMarc Zyngier // SPDX-License-Identifier: GPL-2.0 2f6f0c436SMarc Zyngier 3f6f0c436SMarc Zyngier #ifndef __ARM64_ASM_SETUP_H 4f6f0c436SMarc Zyngier #define __ARM64_ASM_SETUP_H 5f6f0c436SMarc Zyngier 6f6f0c436SMarc Zyngier #include <uapi/asm/setup.h> 7f6f0c436SMarc Zyngier 8f6f0c436SMarc Zyngier void *get_early_fdt_ptr(void); 9f6f0c436SMarc Zyngier void early_fdt_map(u64 dt_phys); 10f6f0c436SMarc Zyngier 11*1dfde089SAnders Roxell /* 12*1dfde089SAnders Roxell * These two variables are used in the head.S file. 13*1dfde089SAnders Roxell */ 14*1dfde089SAnders Roxell extern phys_addr_t __fdt_pointer __initdata; 15*1dfde089SAnders Roxell extern u64 __cacheline_aligned boot_args[4]; 16*1dfde089SAnders Roxell 17f6f0c436SMarc Zyngier #endif 18