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/cpuidle.h>
24 #include "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 struct cpuidle_driver s3c64xx_cpuidle_driver
= {
44 .name
= "s3c64xx_cpuidle",
48 .enter
= s3c64xx_enter_idle
,
50 .target_residency
= 1,
52 .desc
= "System active, ARM gated",
58 static int __init
s3c64xx_init_cpuidle(void)
60 return cpuidle_register(&s3c64xx_cpuidle_driver
, NULL
);
62 device_initcall(s3c64xx_init_cpuidle
);