diff options
author | Zheng Da <zhengda1936@gmail.com> | 2010-01-01 19:17:17 +0100 |
---|---|---|
committer | Zheng Da <zhengda1936@gmail.com> | 2010-01-01 19:17:17 +0100 |
commit | 85002dd39d65ff0c91bb6501197dc8067dbecaa5 (patch) | |
tree | 2654d219c7cefbcc7d9821eb285b99cf89453ca7 /libdde_linux26/include/linux/kernel.h | |
parent | 6e1a321509e035de2541cf6bb4b44da018c3cc77 (diff) |
Change the path of header files.
TODO We need to handle initcall properly.
Diffstat (limited to 'libdde_linux26/include/linux/kernel.h')
-rw-r--r-- | libdde_linux26/include/linux/kernel.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libdde_linux26/include/linux/kernel.h b/libdde_linux26/include/linux/kernel.h index f5ec1ecf..573ed07c 100644 --- a/libdde_linux26/include/linux/kernel.h +++ b/libdde_linux26/include/linux/kernel.h @@ -162,7 +162,7 @@ extern long (*panic_blink)(long time); NORET_TYPE void panic(const char * fmt, ...) __attribute__ ((NORET_AND format (printf, 1, 2))) __cold; #else -#include <l4/dde/ddekit/panic.h> +#include <ddekit/panic.h> #define panic ddekit_panic #endif extern void oops_enter(void); @@ -249,7 +249,7 @@ extern int printk_ratelimit(void); extern bool printk_timed_ratelimit(unsigned long *caller_jiffies, unsigned int interval_msec); #else // DDE_LINUX -#include <l4/dde/ddekit/printf.h> +#include <ddekit/printf.h> #define printk ddekit_printf #endif #else |