1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2022-2024, STMicroelectronics 4 */ 5 6 #ifndef __DRIVERS_STM32_RISAB_H__ 7 #define __DRIVERS_STM32_RISAB_H__ 8 9 /* 10 * stm32_risab_clear_illegal_access_flags() - Clears flags raised when an 11 * illegal access occurs on a memory region 12 */ 13 #if defined(CFG_STM32_RISAB) 14 void stm32_risab_clear_illegal_access_flags(void); 15 #else /* defined(CFG_STM32_RISAB) */ 16 static inline void stm32_risab_clear_illegal_access_flags(void) 17 { 18 } 19 #endif /* defined(CFG_STM32_RISAB) */ 20 21 /* 22 * stm32_risab_print_erroneous_data() - Prints the data associated to an illegal 23 * access occurring on a memory protected by a RISAB : faulty address and 24 * firewall attributes of the master causing the illegal access. 25 */ 26 #if defined(CFG_STM32_RISAB) && defined(CFG_TEE_CORE_DEBUG) 27 void stm32_risab_print_erroneous_data(void); 28 #else /* defined(CFG_STM32_RISAB) && defined(CFG_TEE_CORE_DEBUG) */ 29 static inline void stm32_risab_print_erroneous_data(void) 30 { 31 } 32 #endif /* defined(CFG_STM32_RISAB) && defined(CFG_TEE_CORE_DEBUG) */ 33 34 #endif /*__DRIVERS_STM32_RISAB_H__*/ 35