1#ifndef _PPC_KERNEL_MPC8xx_H
 2#define _PPC_KERNEL_MPC8xx_H
 3
 4#include <linux/irq.h>
 5#include <linux/interrupt.h>
 6
 7int mpc8xx_pic_init(void);
 8unsigned 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 */
14static inline uint mk_int_int_mask(uint mask)
15{
16	return (1 << (7 - (mask/2)));
17}
18
19#endif /* _PPC_KERNEL_PPC8xx_H */