l4/pkg/l4sys/include/ARCH-sparc/L4API-l4f/__kernel_object_impl.h

   1 /**
   2  * \file
   3  * \brief  Low-level kernel functions for SPARC
   4  */
   5 /*
   6  * (c) 2010    Adam Lackorzynski <adam@os.inf.tu-dresden.de>
   7  *             Björn Döbel <doebel@os.inf.tu-dresden.de>
   8  *     economic rights: Technische Universität Dresden (Germany)
   9  *
  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  * As a special exception, you may use this file as part of a free software
  15  * library without restriction.  Specifically, if other files instantiate
  16  * templates or use macros or inline functions from this file, or you compile
  17  * this file and link it with other files to produce an executable, this
  18  * file does not by itself cause the resulting executable to be covered by
  19  * the GNU General Public License.  This exception does not however
  20  * invalidate any other reasons why the executable file might be covered by
  21  * the GNU General Public License.
  22  */
  23 #pragma once
  24
  25 #ifndef L4_SYSCALL_MAGIC_OFFSET
  26 #  define L4_SYSCALL_MAGIC_OFFSET       8
  27 #endif
  28 #define L4_SYSCALL_DEBUGGER             (-0x0000000C-L4_SYSCALL_MAGIC_OFFSET)
  29
  30
  31 L4_INLINE l4_msgtag_t
  32 l4_invoke_debugger(l4_cap_idx_t obj, l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW
  33 {
  34         l4_msgtag_t t;
  35         (void)obj;
  36         (void)tag;
  37         (void)utcb;
  38         t.raw = ~0;
  39         return t;
  40 }
  41