| #ifndef _PPC_KERNEL_MPC8xx_H | |
| #define _PPC_KERNEL_MPC8xx_H | |
| #include <linux/irq.h> | |
| #include <linux/interrupt.h> | |
| int mpc8xx_pic_init(void); | |
| unsigned int mpc8xx_get_irq(void); | |
| /* | |
| * Some internal interrupt registers use an 8-bit mask for the interrupt | |
| * level instead of a number. | |
| */ | |
| static inline uint mk_int_int_mask(uint mask) | |
| { | |
| return (1 << (7 - (mask/2))); | |
| } | |
| #endif /* _PPC_KERNEL_PPC8xx_H */ |