/*
 * IRQ vector handles
 *
 * This file is subject to the terms and conditions of the GNU General Public
 * License.  See the file "COPYING" in the main directory of this archive
 * for more details.
 *
 * Copyright (C) 1995, 1996, 1997, 2003 by Ralf Baechle
 */
#include <linux/kernel.h>
#include <linux/init.h>
#include <linux/irq.h>
#include <linux/interrupt.h>
#include <linux/pci.h>

#include <asm/i8259.h>
#include <asm/irq_cpu.h>
#include <asm/irq_gt641xx.h>
#include <asm/gt64120.h>

#include <irq.h>

asmlinkage void plat_irq_dispatch(void)
{
 unsigned pending = read_c0_status() & read_c0_cause() & ST0_IM;
 int irq;

 if (pending & CAUSEF_IP2)
  gt641xx_irq_dispatch();
 else if (pending & CAUSEF_IP6) {
  irq = i8259_irq();
  if (irq < 0)
   spurious_interrupt();
  else
   do_IRQ(irq);
 } else if (pending & CAUSEF_IP3)
  do_IRQ(MIPS_CPU_IRQ_BASE + 3);
 else if (pending & CAUSEF_IP4)
  do_IRQ(MIPS_CPU_IRQ_BASE + 4);
 else if (pending & CAUSEF_IP5)
  do_IRQ(MIPS_CPU_IRQ_BASE + 5);
 else if (pending & CAUSEF_IP7)
  do_IRQ(MIPS_CPU_IRQ_BASE + 7);
 else
  spurious_interrupt();
}

void __init arch_init_irq(void)
{
 mips_cpu_irq_init();
 gt641xx_irq_init();
 init_i8259_irqs();

 if (request_irq(GT641XX_CASCADE_IRQ, no_action, IRQF_NO_THREAD,
   "cascade", NULL)) {
  pr_err("Failed to request irq %d (cascade)\n",
         GT641XX_CASCADE_IRQ);
 }
 if (request_irq(I8259_CASCADE_IRQ, no_action, IRQF_NO_THREAD,
   "cascade", NULL)) {
  pr_err("Failed to request irq %d (cascade)\n",
         I8259_CASCADE_IRQ);
 }
}