// SPDX-License-Identifier: GPL-2.0-only/* * Copyright (C) 2012 Regents of the University of California * Copyright (C) 2019 Western Digital Corporation or its affiliates. * Copyright (C) 2020 FORTH-ICS/CARV * Nick Kossifidis <mick@ics.forth.gr> */#include<linux/init.h>#include<linux/mm.h>#include<linux/memblock.h>#include<linux/initrd.h>#include<linux/swap.h>#include<linux/swiotlb.h>#include<linux/sizes.h>#include<linux/of_fdt.h>#include<linux/of_reserved_mem.h>#include<linux/libfdt.h>#include<linux/set_memory.h>#include<linux/dma-map-ops.h>#include<linux/crash_dump.h>#include<linux/hugetlb.h>#ifdef CONFIG_RELOCATABLE#include<linux/elf.h>#endif#include<linux/kfence.h>#include<asm/fixmap.h>#include<asm/tlbflush.h>#include<asm/sections.h>#include<asm/soc.h>#include<asm/io.h>#include<asm/ptdump.h>#include<asm/numa.h>#include"../kernel/head.h"structkernel_mappingkernel_map__ro_after_init;EXPORT_SYMBOL(kernel_map);#ifdef CONFIG_XIP_KERNEL#define kernel_map (*(struct kernel_mapping *)XIP_FIXUP(&kernel_map))#endif#ifdef CONFIG_64BITu64satp_mode__ro_after_init=!IS_ENABLED(CONFIG_XIP_KERNEL)?SATP_MODE_57:SATP_MODE_39;#elseu64satp_mode__ro_after_init=SATP_MODE_32;#endifEXPORT_SYMBOL(satp_mode);boolpgtable_l4_enabled=IS_ENABLED(CONFIG_64BIT)&&!IS_ENABLED(CONFIG_XIP_KERNEL);boolpgtable_l5_enabled=IS_ENABLED(CONFIG_64BIT)&&!IS_ENABLED(CONFIG_XIP_KERNEL);EXPORT_SYMBOL(pgtable_l4_enabled);EXPORT_SYMBOL(pgtable_l5_enabled);phys_addr_tphys_ram_base