Vitaly Bordug | f2a0bd3 | 2007-01-24 22:41:24 +0300 | [diff] [blame] | 1 | #ifndef _PPC_KERNEL_MPC8xx_H |
| 2 | #define _PPC_KERNEL_MPC8xx_H |
| 3 | |
| 4 | #include <linux/irq.h> |
| 5 | #include <linux/interrupt.h> |
| 6 | |
Vitaly Bordug | f2a0bd3 | 2007-01-24 22:41:24 +0300 | [diff] [blame] | 7 | int mpc8xx_pic_init(void); |
| 8 | unsigned int mpc8xx_get_irq(void); |
| 9 | |
Vitaly Bordug | 80128ff | 2007-07-09 11:37:35 -0700 | [diff] [blame] | 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 | |
Vitaly Bordug | f2a0bd3 | 2007-01-24 22:41:24 +0300 | [diff] [blame] | 19 | #endif /* _PPC_KERNEL_PPC8xx_H */ |