/tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/src/bug.c

Go to the documentation of this file.

/* $Id: bug.c 28683 2007-05-29 11:25:06Z ch12 $ */
/*****************************************************************************/
/* (c) 2007 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details.
 */

#include <l4/dde_linux/dde.h>
#include <l4/log/l4log.h>
#include <linux/kernel.h>
#include <l4/sys/kdebug.h>

static void do_bug(const char*, const char*, int) __attribute__ ((noreturn));

void (*dde_BUG)(const char *file, const char *function, int line) __attribute__ ((noreturn)) = do_bug;

static void do_bug(const char *file, const char *function, int line)
{
  printk("BUG() called in %s:%d(%s) from %p", file, line, function, __builtin_return_address(0));
  LOG_flush();
  while (1) enter_kdebug("bug");
}

---