#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 |
Definition in file bug.c.