1  /*
   2   * \brief  Debugging support
   3   * \author Christian Helmuth
   4   * \date   2008-08-15
   5   */
   6  
   7  /*
   8   * Copyright (C) 2008-2013 Genode Labs GmbH
   9   *
  10   * This file is part of the Genode OS framework, which is distributed
  11   * under the terms of the GNU General Public License version 2.
  12   */
  13  
  14  #ifndef _INCLUDE__DDE_KIT__PANIC_H_
  15  #define _INCLUDE__DDE_KIT__PANIC_H_
  16  
  17  /**
  18   * Print message and block
  19   *
  20   * \param fmt  message format string
  21   */
  22  __attribute__((noreturn)) void dde_kit_panic(const char *fmt, ...);
  23  
  24  /**
  25   * Print debug message and block
  26   *
  27   * \param fmt  message format string
  28   *
  29   * Logs the debug message with appended newline.
  30   */
  31  void dde_kit_debug(const char *fmt, ...);
  32  
  33  #endif /* _INCLUDE__DDE_KIT__PANIC_H_ */