l4/pkg/dde/include/ddekit/c++/panic.h

   1 /*
   2  * \brief   Panic() and Debug printf()
   3  * \author  Thomas Friebel <tf13@os.inf.tu-dresden.de>
   4  * \author  Christian Helmuth <ch12@os.inf.tu-dresden.de>
   5  * \author  Bjoern Doebel<doebel@os.inf.tu-dresden.de>
   6  * \date    2008-08-26
   7  */
   8
   9 /*
  10  * (c) 2006-2008 Technische Universität Dresden
  11  * This file is part of TUD:OS, which is distributed under the terms of the
  12  * GNU General Public License 2. Please see the COPYING file for details.
  13  */
  14
  15 #pragma once
  16
  17 #include <l4/sys/compiler.h>
  18
  19 namespace DDEKit
  20 {
  21
  22 /** \defgroup DDEKit_util */
  23
  24 /** Panic - print error message and enter the kernel debugger.
  25  * \ingroup DDEKit_util
  26  */
  27 void panic(const char *fmt, ...) __attribute__((noreturn));
  28
  29 /** Print a debug message.
  30  * \ingroup DDEKit_util
  31  */
  32 void debug(const char *fmt, ...);
  33
  34 }