blob: 93aa8cb701958115275cf723660fa2bbcd38008e [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
Daniel Lezcanoeeebc3b2015-02-02 16:32:46 +010019#include <asm/cpuidle.h>
Mark Brown2abf13c2011-12-24 11:38:27 +090020
21#include <mach/map.h>
22
Kukjin Kimf2bfd172013-01-02 13:31:15 -080023#include "regs-sys.h"
Tomasz Figa3a71c5c2013-01-09 16:45:51 -080024#include "regs-syscon-power.h"
Kukjin Kimf2bfd172013-01-02 13:31:15 -080025
Mark Brown2abf13c2011-12-24 11:38:27 +090026static int s3c64xx_enter_idle(struct cpuidle_device *dev,
27 struct cpuidle_driver *drv,
28 int index)
29{
Mark Brown2abf13c2011-12-24 11:38:27 +090030 unsigned long tmp;
Mark Brown2abf13c2011-12-24 11:38:27 +090031
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);
37
38 cpu_do_idle();
39
Mark Brown2abf13c2011-12-24 11:38:27 +090040 return index;
41}
42
Mark Brown2abf13c2011-12-24 11:38:27 +090043static struct cpuidle_driver s3c64xx_cpuidle_driver = {
Daniel Lezcano4c8b2072012-05-18 07:19:42 +090044 .name = "s3c64xx_cpuidle",
45 .owner = THIS_MODULE,
46 .states = {
47 {
48 .enter = s3c64xx_enter_idle,
49 .exit_latency = 1,
50 .target_residency = 1,
Daniel Lezcano4c8b2072012-05-18 07:19:42 +090051 .name = "IDLE",
52 .desc = "System active, ARM gated",
53 },
54 },
55 .state_count = 1,
Mark Brown2abf13c2011-12-24 11:38:27 +090056};
57
58static int __init s3c64xx_init_cpuidle(void)
59{
Daniel Lezcano9fe3d352013-04-23 14:41:16 +000060 return cpuidle_register(&s3c64xx_cpuidle_driver, NULL);
Mark Brown2abf13c2011-12-24 11:38:27 +090061}
62device_initcall(s3c64xx_init_cpuidle);