/tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/src/wqueue.c

Go to the documentation of this file.

/* $Id: wqueue.c 15226 2004-04-27 08:15:54Z aw11 $ */
/*****************************************************************************/
/* (c) 2003 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details.
 */

/* L4 */
#include <l4/dde_linux/dde.h>

/* Linux */
#include <asm/system.h>  /* local_irq_save and friends */
#include <linux/wait.h>
#include <linux/sched.h>

#include "fastcall.h"

void FASTCALL(add_wait_queue(wait_queue_head_t * q, wait_queue_t * wait))
{
  unsigned long flags;

  wq_write_lock_irqsave(&q->lock, flags);
  wait->flags = 0;
  __add_wait_queue(q, wait);
  wq_write_unlock_irqrestore(&q->lock, flags);
}

void FASTCALL(add_wait_queue_exclusive(wait_queue_head_t * q, wait_queue_t * wait))
{
  unsigned long flags;

  wq_write_lock_irqsave(&q->lock, flags);
  wait->flags = WQ_FLAG_EXCLUSIVE;
  __add_wait_queue_tail(q, wait);
  wq_write_unlock_irqrestore(&q->lock, flags);
}

void FASTCALL(remove_wait_queue(wait_queue_head_t * q, wait_queue_t * wait))
{
  unsigned long flags;

  wq_write_lock_irqsave(&q->lock, flags);
  __remove_wait_queue(q, wait);
  wq_write_unlock_irqrestore(&q->lock, flags);
}

---