// 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(u64dt_phys);/* * These two variables are used in the head.S file. */externphys_addr_t__fdt_pointer__initdata;externu64__cacheline_alignedboot_args[4];#endif