2 * Copyright (c) 2013, NVIDIA Corporation. All rights reserved.
4 * This program is free software; you can redistribute it and/or modify it
5 * under the terms and conditions of the GNU General Public License,
6 * version 2, as published by the Free Software Foundation.
8 * This program is distributed in the hope it will be useful, but WITHOUT
9 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
10 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
13 * You should have received a copy of the GNU General Public License
14 * along with this program. If not, see <http://www.gnu.org/licenses/>.
17 #include <linux/kernel.h>
18 #include <linux/module.h>
19 #include <linux/cpuidle.h>
21 #include <asm/cpuidle.h>
23 static struct cpuidle_driver tegra_idle_driver = {
26 .en_core_tk_irqen = 1,
29 [0] = ARM_CPUIDLE_WFI_STATE_PWR(600),
33 static DEFINE_PER_CPU(struct cpuidle_device, tegra_idle_device);
35 int __init tegra114_cpuidle_init(void)
39 struct cpuidle_device *dev;
40 struct cpuidle_driver *drv = &tegra_idle_driver;
42 ret = cpuidle_register_driver(&tegra_idle_driver);
44 pr_err("CPUidle driver registration failed\n");
48 for_each_possible_cpu(cpu) {
49 dev = &per_cpu(tegra_idle_device, cpu);
52 dev->state_count = drv->state_count;
53 ret = cpuidle_register_device(dev);
55 pr_err("CPU%u: CPUidle device registration failed\n",