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 */
14 static inline uint mk_int_int_mask(uint mask)
15 {
16 return (1 << (7 - (mask/2)));
17 }
18
19 #endif /* _PPC_KERNEL_PPC8xx_H */
20
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.