/*
 * SPDX-License-Identifier: GPL-2.0
 *
 * Copyright (C) 2017 Philippe Gerum  <rpm@xenomai.org>
 */

#ifndef _COBALT_DOVETAIL_IRQ_H
#define _COBALT_DOVETAIL_IRQ_H

#ifdef CONFIG_XENOMAI

#include <cobalt/kernel/sched.h>

/* hard irqs off. */
static inline void irq_enter_pipeline(void)
{
	struct xnsched *sched = xnsched_current();

	sched->lflags |= XNINIRQ;
}

/* hard irqs off. */
static inline void irq_exit_pipeline(void)
{
	struct xnsched *sched = xnsched_current();

	sched->lflags &= ~XNINIRQ;

	/*
	 * CAUTION: Switching stages as a result of rescheduling may
	 * re-enable irqs, shut them off before returning if so.
	 */
	if ((sched->status|sched->lflags) & XNRESCHED) {
		xnsched_run();
		if (!hard_irqs_disabled())
			hard_local_irq_disable();
	}
}

#else  /* !CONFIG_XENOMAI */

static inline void irq_enter_pipeline(void)
{
}

static inline void irq_exit_pipeline(void)
{
}

#endif	/* !CONFIG_XENOMAI */

#endif /* !_COBALT_DOVETAIL_IRQ_H */