l4/pkg/l4sys/lib/src/utcb.c

   1 /*!
   2  * \file   l4sys/lib/src/utcb.c
   3  * \brief  utcb
   4  *
   5  * \date   2007-11-20
   6  * \author Adam Lackorzynski <adam@os.inf.tu-dresden.de>
   7  *
   8  */
   9 /*
  10  * (c) 2007-2009 Technische Universität Dresden
  11  * This file is part of TUD:OS and distributed under the terms of the
  12  * GNU General Public License 2.
  13  * Please see the COPYING-GPL-2 file for details.
  14  *
  15  * As a special exception, you may use this file as part of a free software
  16  * library without restriction.  Specifically, if other files instantiate
  17  * templates or use macros or inline functions from this file, or you compile
  18  * this file and link it with other files to produce an executable, this
  19  * file does not by itself cause the resulting executable to be covered by
  20  * the GNU General Public License.  This exception does not however
  21  * invalidate any other reasons why the executable file might be covered by
  22  * the GNU General Public License.
  23  */
  24
  25 #include <l4/sys/utcb.h>
  26
  27 __attribute__((weak)) l4_utcb_t *l4_utcb_wrap(void)
  28 {
  29   return l4_utcb_direct();
  30 }