2 * Copyright (c) 2012 Samsung Electronics.
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
11 #ifndef __ASM_ARCH_EXYNOS_SMC_H
12 #define __ASM_ARCH_EXYNOS_SMC_H
14 #define SMC_CMD_INIT (-1)
15 #define SMC_CMD_INFO (-2)
16 /* For Power Management */
17 #define SMC_CMD_SLEEP (-3)
18 #define SMC_CMD_CPU1BOOT (-4)
19 #define SMC_CMD_CPU0AFTR (-5)
21 #define SMC_CMD_C15RESUME (-11)
22 /* For L2 Cache Access */
23 #define SMC_CMD_L2X0CTRL (-21)
24 #define SMC_CMD_L2X0SETUP1 (-22)
25 #define SMC_CMD_L2X0SETUP2 (-23)
26 #define SMC_CMD_L2X0INVALL (-24)
27 #define SMC_CMD_L2X0DEBUG (-25)
29 extern void exynos_smc(u32 cmd
, u32 arg1
, u32 arg2
, u32 arg3
);