blob: 2da64acbc49aabd3f2f455028847d9ea7bb697d1 [file] [log] [blame]
Yann Gautier4b0c72a2018-07-16 10:54:09 +02001/*
Yann Gautier8f268c82020-02-26 13:39:44 +01002 * Copyright (c) 2015-2020, ARM Limited and Contributors. All rights reserved.
Yann Gautier4b0c72a2018-07-16 10:54:09 +02003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +00007#ifndef STM32MP1_PRIVATE_H
8#define STM32MP1_PRIVATE_H
9
10#include <stdint.h>
Yann Gautier4b0c72a2018-07-16 10:54:09 +020011
Yann Gautier4b0c72a2018-07-16 10:54:09 +020012void configure_mmu(void);
13
Yann Gautiercaf575b2018-07-24 17:18:19 +020014void stm32mp1_arch_security_setup(void);
Yann Gautier9d135e42018-07-16 19:36:06 +020015void stm32mp1_security_setup(void);
Yann Gautiercaf575b2018-07-24 17:18:19 +020016
Yann Gautier9d135e42018-07-16 19:36:06 +020017void stm32mp1_gic_pcpu_init(void);
18void stm32mp1_gic_init(void);
19
Yann Gautier3edc7c32019-05-20 19:17:08 +020020void stm32mp1_syscfg_init(void);
21void stm32mp1_syscfg_enable_io_compensation(void);
22void stm32mp1_syscfg_disable_io_compensation(void);
23
Yann Gautier8f268c82020-02-26 13:39:44 +010024uint32_t stm32mp_get_ddr_ns_size(void);
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +000025#endif /* STM32MP1_PRIVATE_H */