l4/pkg/l4re_c/lib/src/io_stuff.cc

   1 /*
   2  * (c) 2008-2009 Technische Universität Dresden
   3  * This file is part of TUD:OS and distributed under the terms of the
   4  * GNU General Public License 2.
   5  * Please see the COPYING-GPL-2 file for details.
   6  *
   7  * As a special exception, you may use this file as part of a free software
   8  * library without restriction.  Specifically, if other files instantiate
   9  * templates or use macros or inline functions from this file, or you compile
  10  * this file and link it with other files to produce an executable, this
  11  * file does not by itself cause the resulting executable to be covered by
  12  * the GNU General Public License.  This exception does not however
  13  * invalidate any other reasons why the executable file might be covered by
  14  * the GNU General Public License.
  15  */
  16
  17 #include <l4/sys/types.h>
  18 #include <l4/sys/kdebug.h>
  19
  20 #if 0
  21 extern "C" int l4io_search_mem_region(l4_addr_t addr,
  22                            l4_addr_t *start, l4_size_t *len)
  23 {
  24   enter_kdebug("l4io_search_mem_region");
  25   return 0;
  26 }
  27
  28 extern "C" int l4io_request_region(l4_uint16_t start, l4_uint16_t len)
  29 {
  30   enter_kdebug("l4io_request_region");
  31   return 0;
  32 }
  33
  34 extern "C" int l4io_release_mem_region(l4_addr_t start, l4_size_t len)
  35 {
  36   enter_kdebug("l4io_release_mem_region");
  37   return 0;
  38 }
  39
  40 extern "C" l4_addr_t l4io_request_mem_region(l4_addr_t start, l4_size_t len,
  41                                   int flags)
  42 {
  43   enter_kdebug("l4io_request_mem_region");
  44   return 0;
  45 }
  46 #endif