* \ingroup l4_api
*/
/*
- * (c) 2008-2009 Technische Universität Dresden
+ * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ * Alexander Warg <warg@os.inf.tu-dresden.de>
+ * economic rights: Technische Universität Dresden (Germany)
+ *
* This file is part of TUD:OS and distributed under the terms of the
* GNU General Public License 2.
* Please see the COPYING-GPL-2 file for details.
/**
* \brief Special type to add a void argument into the factory create
* stream.
- */
+ */
struct Nil {};
/**
l4_utcb_t *utcb = l4_utcb()) throw()
{ return l4_factory_create_gate_u(cap(), target_cap.cap(), thread_cap.cap(), label, utcb); }
- /**
- * \copydoc l4_factory_create_semaphore()
- * \note \a factory is the implicit \a this pointer.
- */
- l4_msgtag_t create_semaphore(Cap<K_semaphore> const &target_cap,
- l4_utcb_t *utcb = l4_utcb()) throw()
- { return l4_factory_create_semaphore_u(cap(), target_cap.cap(), utcb); }
-
/**
* \copydoc l4_factory_create_irq()
* \note \a factory is the implicit \a this pointer.