2007-01-24 12:41:24 -07:00
|
|
|
#ifndef _PPC_KERNEL_MPC8xx_H
|
|
|
|
#define _PPC_KERNEL_MPC8xx_H
|
|
|
|
|
|
|
|
#include <linux/irq.h>
|
|
|
|
#include <linux/interrupt.h>
|
|
|
|
|
|
|
|
int mpc8xx_pic_init(void);
|
|
|
|
unsigned int mpc8xx_get_irq(void);
|
|
|
|
|
2007-07-09 12:37:35 -06:00
|
|
|
/*
|
|
|
|
* Some internal interrupt registers use an 8-bit mask for the interrupt
|
|
|
|
* level instead of a number.
|
|
|
|
*/
|
|
|
|
static inline uint mk_int_int_mask(uint mask)
|
|
|
|
{
|
|
|
|
return (1 << (7 - (mask/2)));
|
|
|
|
}
|
|
|
|
|
2007-01-24 12:41:24 -07:00
|
|
|
#endif /* _PPC_KERNEL_PPC8xx_H */
|