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 void __section(".text.dummy.boot_save_boot_info")
boot_save_args(unsigned long a0 __unused,unsigned long a1 __unused,unsigned long a2 __unused,unsigned long a3 __unused,unsigned long a4 __unused)10 boot_save_args(unsigned long a0 __unused, unsigned long a1 __unused,
11 unsigned long a2 __unused, unsigned long a3 __unused,
12 unsigned long a4 __unused)
13 {
14 }
15
16 unsigned long __section(".text.dummy.get_aslr_seed")
get_aslr_seed(void)17 get_aslr_seed(void)
18 {
19 return 0;
20 }
21
22 void __section(".text.dummy.core_init_mmu_map")
core_init_mmu_map(unsigned long seed __unused,struct core_mmu_config * cfg __unused)23 core_init_mmu_map(unsigned long seed __unused,
24 struct core_mmu_config *cfg __unused)
25 {
26 }
27
28 void __section(".text.dummy.boot_init_primary_early")
boot_init_primary_early(void)29 boot_init_primary_early(void)
30 {
31 }
32