| #ifndef _PPC_KERNEL_PPC8xx_H | |
| #define _PPC_KERNEL_PPC8xx_H | |
| #include <linux/config.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 */ |