CRIS v32: Minor updates to kernel/process.c

#include <linux/err.h>

#include <linux/fs.h>

#include <linux/slab.h>

#include <asm/arch/hwregs/reg_rdwr.h>

#include <asm/arch/hwregs/reg_map.h>

#include <asm/arch/hwregs/timer_defs.h>

#include <asm/arch/hwregs/intr_vect_defs.h>

#include <hwregs/reg_rdwr.h>

#include <hwregs/reg_map.h>

#include <hwregs/timer_defs.h>

#include <hwregs/intr_vect_defs.h>

extern void stop_watchdog(void);

#ifdef CONFIG_ETRAX_GPIO

extern void etrax_gpio_wake_up_check(void); /* Defined in drivers/gpio.c. */

#endif

extern int cris_hlt_counter;

/* We use this if we don't have any better idle routine. */

	wd_ctrl.cmd = regk_timer_start;

        arch_enable_nmi();

	REG_WR(timer, regi_timer, rw_wd_ctrl, wd_ctrl);

	REG_WR(timer, regi_timer0, rw_wd_ctrl, wd_ctrl);

}

#endif