1 #ifndef _PPC_KERNEL_OPEN_PIC_H
2 #define _PPC_KERNEL_OPEN_PIC_H
4 extern struct hw_interrupt_type open_pic
;
6 void openpic_ipi_action(int cpl
, void *dev_id
, struct pt_regs
*regs
);
7 void openpic_enable_IPI(u_int ipi
);
8 void do_openpic_setup_cpu(void);
10 extern int open_pic_irq_offset
;
11 #endif /* _PPC_KERNEL_OPEN_PIC_H */