/*
|
* SPDX-License-Identifier: GPL-2.0
|
*
|
* Copyright (C) 2019 Philippe Gerum <rpm@xenomai.org>
|
*/
|
|
#ifndef _COBALT_KERNEL_IPIPE_THREAD_H
|
#define _COBALT_KERNEL_IPIPE_THREAD_H
|
|
#include <linux/ipipe.h>
|
#include <linux/sched.h>
|
|
struct xnthread;
|
|
#define cobalt_threadinfo ipipe_threadinfo
|
|
static inline struct cobalt_threadinfo *pipeline_current(void)
|
{
|
return ipipe_current_threadinfo();
|
}
|
|
static inline struct xnthread *pipeline_thread_from_task(struct task_struct *p)
|
{
|
return ipipe_task_threadinfo(p)->thread;
|
}
|
|
#endif /* !_COBALT_KERNEL_IPIPE_THREAD_H */
|
