1 #ifndef __GEF_PIC_H__ 2 #define __GEF_PIC_H__ 3 4 #include <linux/init.h> 5 6 void gef_pic_cascade(unsigned int, struct irq_desc *); 7 unsigned int gef_pic_get_irq(void); 8 void gef_pic_init(struct device_node *); 9 10 #endif /* __GEF_PIC_H__ */ 11 12