// 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);voidearly_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