/*
 * Copyright (C) 2001-2012 Philippe Gerum <rpm@xenomai.org>.
 * Copyright (C) 2004,2005 Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>.
 *
 * Xenomai is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published
 * by the Free Software Foundation; either version 2 of the License,
 * or (at your option) any later version.
 *
 * Xenomai is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Xenomai; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 * 02111-1307, USA.
 */
#include <linux/module.h>
#include <cobalt/kernel/lock.h>

/**
 * @ingroup cobalt_core
 * @defgroup cobalt_core_lock Locking services
 *
 * The Xenomai core deals with concurrent activities from two distinct
 * kernels running side-by-side. When interrupts are involved, the
 * services from this section control the @b hard interrupt state
 * exclusively, for protecting against processor-local or SMP
 * concurrency.
 *
 * @note In a dual kernel configuration, <i>hard interrupts</i> are
 * gated by the CPU. When enabled, hard interrupts are immediately
 * delivered to the Xenomai core if they belong to a real-time source,
 * or deferred until enabled by a second-stage virtual interrupt mask,
 * if they belong to regular Linux devices/sources.
 *
 * @{
 */
DEFINE_XNLOCK(nklock);
#if defined(CONFIG_SMP) || defined(CONFIG_XENO_OPT_DEBUG_LOCKING)
EXPORT_SYMBOL_GPL(nklock);

#ifdef CONFIG_XENO_ARCH_OUTOFLINE_XNLOCK
int ___xnlock_get(struct xnlock *lock /*, */ XNLOCK_DBG_CONTEXT_ARGS)
{
	return ____xnlock_get(lock /* , */ XNLOCK_DBG_PASS_CONTEXT);
}
EXPORT_SYMBOL_GPL(___xnlock_get);

void ___xnlock_put(struct xnlock *lock /*, */ XNLOCK_DBG_CONTEXT_ARGS)
{
	____xnlock_put(lock /* , */ XNLOCK_DBG_PASS_CONTEXT);
}
EXPORT_SYMBOL_GPL(___xnlock_put);
#endif /* out of line xnlock */
#endif /* CONFIG_SMP || XENO_DEBUG(LOCKING) */

#ifdef CONFIG_XENO_OPT_DEBUG_LOCKING
DEFINE_PER_CPU(struct xnlockinfo, xnlock_stats);
EXPORT_PER_CPU_SYMBOL_GPL(xnlock_stats);
#endif

/** @} */