1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2020, Linaro Limited
4  */
5 #include <compiler.h>
6 #include <kernel/boot.h>
7 #include <mm/core_mmu.h>
8 
9 unsigned long __section(".text.dummy.get_aslr_seed")
get_aslr_seed(void * fdt __unused)10 get_aslr_seed(void *fdt __unused)
11 {
12 	return 0;
13 }
14 
15 void __section(".text.dummy.core_init_mmu_map")
core_init_mmu_map(unsigned long seed __unused,struct core_mmu_config * cfg __unused)16 core_init_mmu_map(unsigned long seed __unused,
17 		  struct core_mmu_config *cfg __unused)
18 {
19 }
20 
21 void __section(".text.dummy.boot_init_primary_early")
boot_init_primary_early(unsigned long pageable_part __unused,unsigned long nsec_entry __unused)22 boot_init_primary_early(unsigned long pageable_part __unused,
23 			unsigned long nsec_entry __unused)
24 {
25 }
26