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

#ifndef _COBALT_KERNEL_DOVETAIL_SCHED_H
#define _COBALT_KERNEL_DOVETAIL_SCHED_H

#include <cobalt/kernel/lock.h>

struct xnthread;
struct xnsched;
struct task_struct;

void pipeline_init_shadow_tcb(struct xnthread *thread);

void pipeline_init_root_tcb(struct xnthread *thread);

int ___xnsched_run(struct xnsched *sched);

static inline int pipeline_schedule(struct xnsched *sched)
{
	return run_oob_call((int (*)(void *))___xnsched_run, sched);
}

static inline void pipeline_prep_switch_oob(struct xnthread *root)
{
	/* N/A */
}

bool pipeline_switch_to(struct xnthread *prev,
			struct xnthread *next,
			bool leaving_inband);

int pipeline_leave_inband(void);

int pipeline_leave_oob_prepare(void);

static inline void pipeline_leave_oob_unlock(void)
{
	/*
	 * We may not re-enable hard irqs due to the specifics of
	 * stage escalation via run_oob_call(), to prevent breaking
	 * the (virtual) interrupt state.
	 */
	xnlock_put(&nklock);
}

void pipeline_leave_oob_finish(void);

static inline
void pipeline_finalize_thread(struct xnthread *thread)
{
	/* N/A */
}

void pipeline_raise_mayday(struct task_struct *tsk);

void pipeline_clear_mayday(void);

#endif /* !_COBALT_KERNEL_DOVETAIL_SCHED_H */