1 #ifndef _PPC_KERNEL_MPC8xx_H 2 #define _PPC_KERNEL_MPC8xx_H 3 4 #include <linux/irq.h> 5 #include <linux/interrupt.h> 6 7 void mpc8xx_pic_init(void); 8 unsigned int mpc8xx_get_irq(void); 9 10 /* 11 * Some internal interrupt registers use an 8-bit mask for the interrupt 12 * level instead of a number. 13 */ mk_int_int_mask(uint mask)14static inline uint mk_int_int_mask(uint mask) 15 { 16 return (1 << (7 - (mask/2))); 17 } 18 19 #endif /* _PPC_KERNEL_PPC8xx_H */ 20