*/
#include <linux/types.h>
+#include <linux/config.h>
#include <linux/init.h>
#include <linux/kernel_stat.h>
#include <linux/sched.h>
void __init mips_time_init(void)
{
- unsigned int est_freq;
+ unsigned int est_freq, flags;
+
+ local_irq_save(flags);
/* Set Data mode - binary. */
CMOS_WRITE(CMOS_READ(RTC_CONTROL) | RTC_DM_BINARY, RTC_CONTROL);
(est_freq%1000000)*100/1000000);
cpu_khz = est_freq / 1000;
+
+ local_irq_restore(flags);
}
-void __init plat_timer_setup(struct irqaction *irq)
+void __init mips_timer_setup(struct irqaction *irq)
{
if (cpu_has_veic) {
set_vi_handler (MSC01E_INT_CPUCTR, mips_timer_dispatch);