l4/pkg/libc_backends/lib/sig/include/sig.h

   1 /*
   2  * (c) 2009 Technische Universität Dresden
   3  * This file is part of TUD:OS and distributed under the terms of the
   4  * GNU Lesser General Public License 2.1.
   5  * Please see the COPYING-LGPL-2.1 file for details.
   6  */
   7
   8 #pragma once
   9
  10 #include <sys/cdefs.h>
  11 #include <l4/sys/types.h>
  12
  13 __BEGIN_DECLS
  14
  15 void libsig_be_add_thread(l4_cap_idx_t t);
  16 void libsig_be_set_dbg_name(const char *name);
  17
  18 __END_DECLS