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