1 /*
2  * Copyright (c) 2019 Lexmark International, Inc.
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  */
7 
8 #include <zephyr/kernel.h>
9 #include <zephyr/device.h>
10 
11 #include <cmsis_core.h>
12 
z_arm_platform_init(void)13 void z_arm_platform_init(void)
14 {
15 	/*
16 	 * Use normal exception vectors address range (0x0-0x1C).
17 	 */
18 	unsigned int sctlr = __get_SCTLR();
19 
20 	sctlr &= ~SCTLR_V_Msk;
21 	__set_SCTLR(sctlr);
22 }
23