1 /*
2  * Copyright (c) 2020, Antmicro
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #include <zephyr/kernel.h>
7 #include <cmsis_core.h>
8 
z_arm_tcm_disable_ecc(void)9 void z_arm_tcm_disable_ecc(void)
10 {
11 #if defined(CONFIG_ARMV7_R)
12 	uint32_t actlr;
13 
14 	actlr = __get_ACTLR();
15 	actlr &= ~(ACTLR_ATCMPCEN_Msk | ACTLR_B0TCMPCEN_Msk |
16 		ACTLR_B1TCMPCEN_Msk);
17 	__set_ACTLR(actlr);
18 #endif
19 }
20