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>
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 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
);