#include <asm/pgtable.h>
#include <asm/uaccess.h>
#include <asm/irq.h>
-#include <asm/system.h>
#include <linux/module.h>
#include <linux/spinlock.h>
#include <linux/fs_struct.h>
*/
void (*pm_idle)(void);
+extern void default_idle(void);
+
/*
* The idle thread. There's no useful work to be
* done, so just try to conserve power and have a