/branches/arm/kernel/arch/arm32/include/debug_print/print.h |
---|
34,9 → 34,12 |
#define INT32 4 |
#define INT64 8 |
#include <stdarg.h> |
#include <arch/types.h> |
extern void debug_puts(const char *str); |
extern void debug_printf(const char *fmt, ...); |
extern void debug_write(const char *str, const int len); |
extern int debug_write(const char *str, size_t count, void *unused); |
#ifdef CONFIG_DEBUG |