add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
/* SPDX-License-Identifier: GPL-2.0 */
#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__ */