#ifndef _PPC_KERNEL_PPC8xx_H #define _PPC_KERNEL_PPC8xx_H #include <linux/irq.h> #include <linux/interrupt.h> extern struct hw_interrupt_type ppc8xx_pic; void m8xx_pic_init(void); void m8xx_do_IRQ(struct pt_regs *regs, int cpu); int m8xx_get_irq(struct pt_regs *regs); #ifdef CONFIG_MBX #include <asm/i8259.h> #include <asm/io.h> void mbx_i8259_action(int cpl, void *dev_id, struct pt_regs *regs); #endif #endif /* _PPC_KERNEL_PPC8xx_H */