1/* SPDX-License-Identifier: BSD-2-Clause */
2/*
3 * Copyright (c) 2014, STMicroelectronics International N.V.
4 */
5
6#include <generated/arm32_sysreg.S>
7#ifdef CFG_ARM_GICV3
8#include <generated/arm32_gicv3_sysreg.S>
9#endif
10
11	.macro mov_imm reg, val
12		.if ((\val) & 0xffff0000) == 0
13			movw	\reg, #(\val)
14		.else
15			movw	\reg, #((\val) & 0xffff)
16			movt	\reg, #((\val) >> 16)
17		.endif
18	.endm
19
20	.macro panic_at_smc_return
21#if defined(CFG_TEE_CORE_DEBUG)
22		bl	__panic_at_smc_return
23#else
24		b	.
25#endif
26	.endm
27