|
@@ -47,24 +47,6 @@ unsigned long thread_saved_pc(struct task_struct *tsk)
|
|
|
void (*pm_power_off)(void) = NULL;
|
|
|
EXPORT_SYMBOL(pm_power_off);
|
|
|
|
|
|
-/*
|
|
|
- * The idle thread. There's no useful work to be
|
|
|
- * done, so just try to conserve power and have a
|
|
|
- * low exit latency (ie sit in a loop waiting for
|
|
|
- * somebody to say that they'd like to reschedule)
|
|
|
- */
|
|
|
-void cpu_idle (void)
|
|
|
-{
|
|
|
- /* endless idle loop with no priority at all */
|
|
|
- while (1) {
|
|
|
- rcu_idle_enter();
|
|
|
- while (!need_resched())
|
|
|
- cpu_relax();
|
|
|
- rcu_idle_exit();
|
|
|
- schedule_preempt_disabled();
|
|
|
- }
|
|
|
-}
|
|
|
-
|
|
|
void machine_restart(char *__unused)
|
|
|
{
|
|
|
#if defined(CONFIG_PLAT_MAPPI3)
|