1,5 → 1,5 |
/* |
* Copyright (c) 2006 Martin Decky |
* Copyright (c) 2007 Michal Kebrt |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
26,13 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
#ifndef KERN_arm32_DEBUG_PRINT_PRINTF_H_ |
#define KERN_arm32_DEBUG_PRINT_PRINTF_H_ |
/** @addtogroup arm32 |
* @{ |
*/ |
/** @file |
*/ |
|
#define INT8 1 |
#define INT16 2 |
#define INT32 4 |
#define INT64 8 |
#ifndef KERN_arm32_DEBUG_PRINT_H_ |
#define KERN_arm32_DEBUG_PRINT_H_ |
|
#include <stdarg.h> |
#include <arch/types.h> |
39,7 → 40,6 |
|
extern void debug_puts(const char *str); |
extern void debug_printf(const char *fmt, ...); |
extern int debug_write(const char *str, size_t count, void *unused); |
|
|
#ifdef CONFIG_DEBUG |
51,3 → 51,7 |
#endif |
|
#endif |
|
|
/** @} |
*/ |