// SPDX-License-Identifier: BSD-2-Clause
/*
 * Copyright (c) 2020, Linaro Limited
 */
#include <compiler.h>
#include <kernel/boot.h>
#include <mm/core_mmu.h>

void __section(".text.dummy.boot_save_boot_info")
boot_save_boot_info(void *boot_info __unused)
{
}

unsigned long __section(".text.dummy.get_aslr_seed")
get_aslr_seed(void *fdt __unused)
{
	return 0;
}

void __section(".text.dummy.core_init_mmu_map")
core_init_mmu_map(unsigned long seed __unused,
		  struct core_mmu_config *cfg __unused)
{
}

void __section(".text.dummy.boot_init_primary_early")
boot_init_primary_early(unsigned long pageable_part __unused,
			unsigned long nsec_entry __unused)
{
}
