1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2012 Samsung Electronics.
5 * Copied from omap-smc.S Copyright (C) 2010 Texas Instruments, Inc.
8 #include <linux/linkage.h>
11 * Function signature: void exynos_smc(u32 cmd, u32 arg1, u32 arg2, u32 arg3)
16 stmfd sp!, {r4-r11, lr}
19 ldmfd sp!, {r4-r11, pc}