1 #include <linux/init.h>
2 #include <linux/interrupt.h>
3 #include <linux/linkage.h>
6 #include <asm/irq_cpu.h>
7 #include <asm/mipsregs.h>
9 #include <asm/system.h>
12 asmlinkage void plat_irq_dispatch(void)
14 unsigned int pending = read_c0_status() & read_c0_cause();
16 if (pending & 0x8000) {
17 do_IRQ(Q_COUNT_COMPARE_IRQ);
20 if (pending & 0x0400) {
21 int irq = i8259_irq();
30 void __init arch_init_irq(void)
32 mips_hpt_frequency = QEMU_C0_COUNTER_CLOCK; /* 100MHz */