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

source code of linux/arch/arm/mach-exynos/exynos-smc.S