l4/pkg/libsigma0/lib/src/debug.c

   1 /*
   2  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   3  *               Alexander Warg <warg@os.inf.tu-dresden.de>
   4  *     economic rights: Technische Universität Dresden (Germany)
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU Lesser General Public License 2.1.
   7  * Please see the COPYING-LGPL-2.1 file for details.
   8  */
   9
  10 #include <l4/sys/ipc.h>
  11 #include <l4/sigma0/sigma0.h>
  12
  13 L4_CV void
  14 l4sigma0_debug_dump(l4_cap_idx_t pager)
  15 {
  16   l4_msgtag_t tag = l4_msgtag(L4_PROTO_SIGMA0, 1, 0, 0);
  17   l4_utcb_mr()->mr[0] = SIGMA0_REQ_DEBUG_DUMP;
  18
  19   l4_ipc_call(pager, l4_utcb(), tag, L4_IPC_NEVER);
  20 }