/*
|
* SPDX-License-Identifier: GPL-2.0
|
*/
|
|
#ifndef _COBALT_KERNEL_IPIPE_LOCK_H
|
#define _COBALT_KERNEL_IPIPE_LOCK_H
|
|
#include <pipeline/pipeline.h>
|
|
typedef ipipe_spinlock_t pipeline_spinlock_t;
|
|
#define PIPELINE_SPIN_LOCK_UNLOCKED(__name) IPIPE_SPIN_LOCK_UNLOCKED
|
|
#ifdef CONFIG_XENO_OPT_DEBUG_LOCKING
|
/* Disable UP-over-SMP kernel optimization in debug mode. */
|
#define __locking_active__ 1
|
#else
|
#define __locking_active__ ipipe_smp_p
|
#endif
|
|
#endif /* !_COBALT_KERNEL_IPIPE_LOCK_H */
|
