1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2021-2024, STMicroelectronics 4 */ 5 6 #ifndef __DRIVERS_STM32_RISAF_H__ 7 #define __DRIVERS_STM32_RISAF_H__ 8 9 /* 10 * stm32_risaf_clear_illegal_access_flags() - Clears flags raised when an 11 * illegal access occurs on a memory region 12 */ 13 void stm32_risaf_clear_illegal_access_flags(void); 14 15 /* 16 * stm32_risaf_print_erroneous_data() - Prints the data associated to an illegal 17 * access occurring on a memory protected by a RISAF : faulty address and 18 * firewall attributes of the master causing the illegal access. This function 19 * is stubbed when CFG_TEE_CORE_DEBUG is disabled. 20 */ 21 void stm32_risaf_print_erroneous_data(void); 22 23 #endif /*__DRIVERS_STM32_RISAF_H__*/ 24