/*
|
* SPDX-License-Identifier: GPL-2.0
|
*/
|
|
#ifndef _COBALT_KERNEL_DOVETAIL_IRQ_H
|
#define _COBALT_KERNEL_DOVETAIL_IRQ_H
|
|
static inline void xnintr_init_proc(void)
|
{
|
/* N/A */
|
}
|
|
static inline void xnintr_cleanup_proc(void)
|
{
|
/* N/A */
|
}
|
|
static inline int xnintr_mount(void)
|
{
|
/* N/A */
|
return 0;
|
}
|
|
#endif /* !_COBALT_KERNEL_DOVETAIL_IRQ_H */
|
