Branch data     Line data    Source code

       1                 :            : /*
       2                 :            :  * Copyright 2012 Linaro Ltd.
       3                 :            :  *
       4                 :            :  * The code contained herein is licensed under the GNU General Public
       5                 :            :  * License. You may obtain a copy of the GNU General Public License
       6                 :            :  * Version 2 or later at the following locations:
       7                 :            :  *
       8                 :            :  * http://www.opensource.org/licenses/gpl-license.html
       9                 :            :  * http://www.gnu.org/copyleft/gpl.html
      10                 :            :  */
      11                 :            : 
      12                 :            : #include <linux/cpuidle.h>
      13                 :            : #include <asm/proc-fns.h>
      14                 :            : 
      15                 :          0 : int arm_cpuidle_simple_enter(struct cpuidle_device *dev,
      16                 :            :                 struct cpuidle_driver *drv, int index)
      17                 :            : {
      18                 :    3660299 :         cpu_do_idle();
      19                 :            : 
      20                 :    3552242 :         return index;
      21                 :            : }