blob: e3e455b879611ff2f42700423a1c6593e937d812 [file] [log] [blame]
Mark Brown2abf13c2011-12-24 11:38:27 +09001/* linux/arch/arm/mach-s3c64xx/cpuidle.c
2 *
3 * Copyright (c) 2011 Wolfson Microelectronics, plc
4 * Copyright (c) 2011 Samsung Electronics Co., Ltd.
5 * http://www.samsung.com
6 *
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.
10*/
11
12#include <linux/kernel.h>
13#include <linux/init.h>
14#include <linux/cpuidle.h>
15#include <linux/io.h>
16#include <linux/export.h>
17#include <linux/time.h>
18
19#include <asm/proc-fns.h>
20
21#include <mach/map.h>
22
Mark Brown2abf13c2011-12-24 11:38:27 +090023#include <mach/regs-syscon-power.h>
24
Kukjin Kimf2bfd172013-01-02 13:31:15 -080025#include "regs-sys.h"
26
Mark Brown2abf13c2011-12-24 11:38:27 +090027static int s3c64xx_enter_idle(struct cpuidle_device *dev,
28 struct cpuidle_driver *drv,
29 int index)
30{
Mark Brown2abf13c2011-12-24 11:38:27 +090031 unsigned long tmp;
Mark Brown2abf13c2011-12-24 11:38:27 +090032
33 /* Setup PWRCFG to enter idle mode */
34 tmp = __raw_readl(S3C64XX_PWR_CFG);
35 tmp &= ~S3C64XX_PWRCFG_CFG_WFI_MASK;
36 tmp |= S3C64XX_PWRCFG_CFG_WFI_IDLE;
37 __raw_writel(tmp, S3C64XX_PWR_CFG);
38
39 cpu_do_idle();
40
Mark Brown2abf13c2011-12-24 11:38:27 +090041 return index;
42}
43
Daniel Lezcano4c8b2072012-05-18 07:19:42 +090044static DEFINE_PER_CPU(struct cpuidle_device, s3c64xx_cpuidle_device);
Mark Brown2abf13c2011-12-24 11:38:27 +090045
46static struct cpuidle_driver s3c64xx_cpuidle_driver = {
Daniel Lezcano4c8b2072012-05-18 07:19:42 +090047 .name = "s3c64xx_cpuidle",
48 .owner = THIS_MODULE,
Daniel Lezcanoaba607d2012-05-18 07:19:49 +090049 .en_core_tk_irqen = 1,
Daniel Lezcano4c8b2072012-05-18 07:19:42 +090050 .states = {
51 {
52 .enter = s3c64xx_enter_idle,
53 .exit_latency = 1,
54 .target_residency = 1,
55 .flags = CPUIDLE_FLAG_TIME_VALID,
56 .name = "IDLE",
57 .desc = "System active, ARM gated",
58 },
59 },
60 .state_count = 1,
Mark Brown2abf13c2011-12-24 11:38:27 +090061};
62
63static int __init s3c64xx_init_cpuidle(void)
64{
65 int ret;
66
Mark Brown2abf13c2011-12-24 11:38:27 +090067 cpuidle_register_driver(&s3c64xx_cpuidle_driver);
68
69 ret = cpuidle_register_device(&s3c64xx_cpuidle_device);
70 if (ret) {
71 pr_err("Failed to register cpuidle device: %d\n", ret);
72 return ret;
73 }
74
75 return 0;
76}
77device_initcall(s3c64xx_init_cpuidle);