l4/pkg/io/server/src/debug.h

   1 /*
   2  * (c) 2011 Alexander Warg <warg@os.inf.tu-dresden.de>
   3  *     economic rights: Technische Universität Dresden (Germany)
   4  *
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU General Public License 2.
   7  * Please see the COPYING-GPL-2 file for details.
   8  */
   9
  10 #pragma once
  11
  12 enum Debug_level
  13 {
  14   DBG_NONE  = 0,
  15   DBG_ERR,
  16   DBG_WARN,
  17   DBG_INFO,
  18   DBG_DEBUG,
  19   DBG_DEBUG2,
  20   DBG_ALL
  21 };
  22
  23 void set_debug_level(unsigned level);
  24 void d_printf(unsigned level, char const *fmt, ...);
  25 bool dlevel(unsigned level);
  26
  27