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