00001
00002
00003
00004
00005
00006
00007 #include <l4/dde/ddekit/printf.h>
00008
00009 #include <l4/log/l4log.h>
00010
00011
00012
00013
00014
00015
00016 int ddekit_print(const char *msg)
00017 {
00018 return LOG_printf("%s", msg);
00019 }
00020
00021
00022
00023
00024
00025
00026 int ddekit_printf(const char *fmt, ...)
00027 {
00028 int res;
00029 va_list va;
00030
00031 va_start(va, fmt);
00032 res = ddekit_vprintf(fmt, va);
00033 va_end(va);
00034
00035 return res;
00036 }
00037
00038
00039
00040
00041
00042
00043 int ddekit_vprintf(const char *fmt, va_list va)
00044 {
00045 return LOG_vprintf(fmt, va);
00046 }