#ifndef __GEF_PIC_H__
  #define __GEF_PIC_H__
  
  unsigned int gef_pic_get_irq(void);
  void gef_pic_init(struct device_node *);
  
  #endif /* __GEF_PIC_H__ */