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)