1 /* linux/arch/arm/mach-s3c64xx/cpuidle.c
3 * Copyright (c) 2011 Wolfson Microelectronics, plc
4 * Copyright (c) 2011 Samsung Electronics Co., Ltd.
5 * http://www.samsung.com
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
12 #include <linux/kernel.h>
13 #include <linux/init.h>
14 #include <linux/cpuidle.h>
16 #include <linux/export.h>
17 #include <linux/time.h>
19 #include <asm/proc-fns.h>
23 #include <mach/regs-sys.h>
24 #include <mach/regs-syscon-power.h>
26 static int s3c64xx_enter_idle(struct cpuidle_device *dev,
27 struct cpuidle_driver *drv,
32 /* Setup PWRCFG to enter idle mode */
33 tmp = __raw_readl(S3C64XX_PWR_CFG);
34 tmp &= ~S3C64XX_PWRCFG_CFG_WFI_MASK;
35 tmp |= S3C64XX_PWRCFG_CFG_WFI_IDLE;
36 __raw_writel(tmp, S3C64XX_PWR_CFG);
43 static DEFINE_PER_CPU(struct cpuidle_device, s3c64xx_cpuidle_device);
45 static struct cpuidle_driver s3c64xx_cpuidle_driver = {
46 .name = "s3c64xx_cpuidle",
48 .en_core_tk_irqen = 1,
51 .enter = s3c64xx_enter_idle,
53 .target_residency = 1,
54 .flags = CPUIDLE_FLAG_TIME_VALID,
56 .desc = "System active, ARM gated",
62 static int __init s3c64xx_init_cpuidle(void)
66 cpuidle_register_driver(&s3c64xx_cpuidle_driver);
68 ret = cpuidle_register_device(&s3c64xx_cpuidle_device);
70 pr_err("Failed to register cpuidle device: %d\n", ret);
76 device_initcall(s3c64xx_init_cpuidle);