platforms/8xx/pic.h

0001 #ifndef _PPC_KERNEL_MPC8xx_H
0002 #define _PPC_KERNEL_MPC8xx_H
0003
0004 #include <linux/irq.h>
0005 #include <linux/interrupt.h>
0006
0007 void mpc8xx_pic_init(void);
0008 unsigned int mpc8xx_get_irq(void);
0009
0010 /*
0011  * Some internal interrupt registers use an 8-bit mask for the interrupt
0012  * level instead of a number.
0013  */
0014 static inline uint mk_int_int_mask(uint mask)
0015 {
0016     return (1 << (7 - (mask/2)));
0017 }
0018
0019 #endif /* _PPC_KERNEL_PPC8xx_H */