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
14ENTRY(exynos_smc)
15	stmfd	sp!, {r4-r11, lr}
16	dsb
17	smc	#0
18	ldmfd	sp!, {r4-r11, pc}
19ENDPROC(exynos_smc)
20