1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2012 Samsung Electronics.
4 *
5 * Copied from omap-smc.S Copyright (C) 2010 Texas Instruments, Inc.
6 */
7
8#include <linux/linkage.h>
9
10/*
11 * Function signature: void exynos_smc(u32 cmd, u32 arg1, u32 arg2, u32 arg3)
12 */
13	.arch armv7-a
14	.arch_extension sec
15ENTRY(exynos_smc)
16	stmfd	sp!, {r4-r11, lr}
17	dsb
18	smc	#0
19	ldmfd	sp!, {r4-r11, pc}
20ENDPROC(exynos_smc)
21