#include <linux/types.h>
+#include <linux/config.h>
#include <linux/init.h>
#include <linux/kernel_stat.h>
#include <linux/sched.h>
unsigned long cpu_khz;
+extern asmlinkage void ll_local_timer_interrupt(int irq, struct pt_regs *regs);
+
irqreturn_t sim_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
{
#ifdef CONFIG_SMP
}
-void __init plat_timer_setup(struct irqaction *irq)
+void __init sim_timer_setup(struct irqaction *irq)
{
if (cpu_has_veic) {
set_vi_handler(MSC01E_INT_CPUCTR, mips_timer_dispatch);