1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __GEF_PIC_H__
3#define __GEF_PIC_H__
4
5unsigned int gef_pic_get_irq(void);
6void gef_pic_init(struct device_node *);
7
8#endif /* __GEF_PIC_H__ */
9
10