l4/pkg/ferret/include/l4lx_client.h

   1 /**
   2  * \file   ferret/include/l4lx_client.h
   3  * \brief  Helper function for L4Linux user mode clients.
   4  *
   5  * \date   2006-04-03
   6  * \author Martin Pohlack  <mp26@os.inf.tu-dresden.de>
   7  */
   8 /*
   9  * (c) 2006-2009 Technische Universität Dresden
  10  * This file is part of TUD:OS and distributed under the terms of the
  11  * GNU General Public License 2.
  12  * Please see the COPYING-GPL-2 file for details.
  13  */
  14 #ifndef __FERRET_INCLUDE_L4LX_CLIENT_H_
  15 #define __FERRET_INCLUDE_L4LX_CLIENT_H_
  16
  17 #include <l4/sys/compiler.h>
  18 #include <l4/ferret/sensors/list_producer.h>
  19
  20 EXTERN_C_BEGIN
  21
  22 /**< process-global pointer to l4Linux user land sensor, init */
  23 extern ferret_list_local_t * ferret_l4lx_user;
  24
  25 /**
  26  * @brief Setup the global userland list ferret_l4lx_user for L4Linux
  27  *        clients.
  28  *
  29  * @param  alloc function pointer to memory allocating function
  30  */
  31 L4_CV void ferret_list_l4lx_user_init(void);
  32
  33 EXTERN_C_END
  34
  35 #endif