12 #include <linux/kernel.h>
16 #include <linux/export.h>
17 #include <linux/time.h>
19 #include <asm/proc-fns.h>
23 #include <mach/regs-sys.h>
46 .name =
"s3c64xx_cpuidle",
48 .en_core_tk_irqen = 1,
51 .enter = s3c64xx_enter_idle,
53 .target_residency = 1,
56 .desc =
"System active, ARM gated",
62 static int __init s3c64xx_init_cpuidle(
void)
70 pr_err(
"Failed to register cpuidle device: %d\n", ret);