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