/*
|
* SPDX-License-Identifier: GPL-2.0
|
*/
|
|
#ifndef _COBALT_KERNEL_DOVETAIL_PIPELINE_H
|
#define _COBALT_KERNEL_DOVETAIL_PIPELINE_H
|
|
#include <linux/irq_pipeline.h>
|
#include <linux/cpumask.h>
|
#include <cobalt/kernel/assert.h>
|
#include <asm/xenomai/features.h>
|
#include <asm/xenomai/syscall.h>
|
#include <asm/syscall.h>
|
#include <pipeline/machine.h>
|
|
typedef unsigned long spl_t;
|
|
/*
|
* We only keep the LSB when testing in SMP mode in order to strip off
|
* the recursion marker (0x2) the nklock may store there.
|
*/
|
#define splhigh(x) ((x) = oob_irq_save() & 1)
|
#ifdef CONFIG_SMP
|
#define splexit(x) oob_irq_restore(x & 1)
|
#else /* !CONFIG_SMP */
|
#define splexit(x) oob_irq_restore(x)
|
#endif /* !CONFIG_SMP */
|
#define splmax() oob_irq_disable()
|
#define splnone() oob_irq_enable()
|
#define spltest() oob_irqs_disabled()
|
|
#define is_secondary_domain() running_inband()
|
#define is_primary_domain() running_oob()
|
|
#ifdef CONFIG_SMP
|
|
irqreturn_t pipeline_reschedule_ipi_handler(int irq, void *dev_id);
|
|
static inline int pipeline_request_resched_ipi(void (*handler)(void))
|
{
|
if (num_possible_cpus() == 1)
|
return 0;
|
|
/* Trap the out-of-band rescheduling interrupt. */
|
return __request_percpu_irq(RESCHEDULE_OOB_IPI,
|
pipeline_reschedule_ipi_handler,
|
IRQF_OOB,
|
"Xenomai reschedule",
|
&cobalt_machine_cpudata);
|
}
|
|
static inline void pipeline_free_resched_ipi(void)
|
{
|
if (num_possible_cpus() > 1)
|
/* Release the out-of-band rescheduling interrupt. */
|
free_percpu_irq(RESCHEDULE_OOB_IPI, &cobalt_machine_cpudata);
|
}
|
|
static inline void pipeline_send_resched_ipi(const struct cpumask *dest)
|
{
|
/*
|
* Trigger the out-of-band rescheduling interrupt on remote
|
* CPU(s).
|
*/
|
irq_send_oob_ipi(RESCHEDULE_OOB_IPI, dest);
|
}
|
|
static inline void pipeline_send_timer_ipi(const struct cpumask *dest)
|
{
|
/*
|
* Trigger the out-of-band timer interrupt on remote CPU(s).
|
*/
|
irq_send_oob_ipi(TIMER_OOB_IPI, dest);
|
}
|
|
#else /* !CONFIG_SMP */
|
|
static inline int pipeline_request_resched_ipi(void (*handler)(void))
|
{
|
return 0;
|
}
|
|
|
static inline void pipeline_free_resched_ipi(void)
|
{
|
}
|
|
#endif /* CONFIG_SMP */
|
|
static inline void pipeline_prepare_panic(void)
|
{
|
/* N/A */
|
}
|
|
static inline void pipeline_collect_features(struct cobalt_featinfo *f)
|
{
|
f->clock_freq = 0; /* N/A */
|
}
|
|
#ifndef pipeline_get_syscall_args
|
static inline void pipeline_get_syscall_args(struct task_struct *task,
|
struct pt_regs *regs,
|
unsigned long *args)
|
{
|
syscall_get_arguments(task, regs, args);
|
}
|
#endif /* !pipeline_get_syscall_args */
|
|
#endif /* !_COBALT_KERNEL_DOVETAIL_PIPELINE_H */
|
