/*
|
* SPDX-License-Identifier: GPL-2.0
|
*/
|
|
#ifndef _COBALT_KERNEL_DOVETAIL_LOCK_H
|
#define _COBALT_KERNEL_DOVETAIL_LOCK_H
|
|
#include <linux/spinlock.h>
|
|
typedef hard_spinlock_t pipeline_spinlock_t;
|
|
#define PIPELINE_SPIN_LOCK_UNLOCKED(__name) __HARD_SPIN_LOCK_INITIALIZER(__name)
|
|
#ifdef CONFIG_XENO_OPT_DEBUG_LOCKING
|
/* Disable UP-over-SMP kernel optimization in debug mode. */
|
#define __locking_active__ 1
|
|
#else
|
|
#ifdef CONFIG_SMP
|
#define __locking_active__ 1
|
#else
|
#define __locking_active__ IS_ENABLED(CONFIG_SMP)
|
#endif
|
|
#endif
|
|
#endif /* !_COBALT_KERNEL_DOVETAIL_LOCK_H */
|
