1
2
3
4
5
6
7
8
9
10
11
12
13
14
| /*
| * SPDX-License-Identifier: GPL-2.0
| */
|
| #ifndef _COBALT_KERNEL_IPIPE_IRQ_H
| #define _COBALT_KERNEL_IPIPE_IRQ_H
|
| void xnintr_init_proc(void);
|
| void xnintr_cleanup_proc(void);
|
| int xnintr_mount(void);
|
| #endif /* !_COBALT_KERNEL_IPIPE_IRQ_H */
|
|
