1 /* 2 * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef __PLAT_PRIVATE_H__ 8 #define __PLAT_PRIVATE_H__ 9 10 #include <bl_common.h> 11 #include "hi3798cv200.h" 12 13 void plat_configure_mmu_el3(unsigned long total_base, 14 unsigned long total_size, 15 unsigned long ro_start, 16 unsigned long ro_limit, 17 unsigned long coh_start, 18 unsigned long coh_limit); 19 20 void plat_configure_mmu_el1(unsigned long total_base, 21 unsigned long total_size, 22 unsigned long ro_start, 23 unsigned long ro_limit, 24 unsigned long coh_start, 25 unsigned long coh_limit); 26 27 void plat_delay_timer_init(void); 28 void plat_io_setup(void); 29 30 #endif /* __PLAT_PRIVATE_H__ */ 31
