xref: /optee_os/core/arch/arm/plat-stm32mp1/stm32_util.h (revision eb07694a49b5354146b4f5120c60257223b31ba7)
1 /* SPDX-License-Identifier: BSD-3-Clause */
2 /*
3  * Copyright (c) 2018, STMicroelectronics
4  */
5 
6 #ifndef __STM32_UTIL_H__
7 #define __STM32_UTIL_H__
8 
9 #include <stdint.h>
10 
11 /* Platform util for the GIC */
12 uintptr_t get_gicc_base(void);
13 uintptr_t get_gicd_base(void);
14 
15 #endif /*__STM32_UTIL_H__*/
16