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

BUG() handler. More...

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

Go to the source code of this file.

Functions

static void do_bug (const char *, const char *, int)

Variables

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


Detailed Description

BUG() handler.

Date:
02/26/2003
Author:
Jork Loeser <jork.loeser@inf.tu-dresden.de>
You can set your own BUG() handler by overwriting the dde_BUG function pointer.

Definition in file bug.c.


Linux DDE, written by Christian Helmuth  © 2003 Technische Universitaet Dresden