| 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 |
| |
| |
| /** @} |
| */ |