| 31,17 → 31,21 |
|---|
| |
| #include <arch/types.h> |
| #include <synch/spinlock.h> |
| #include <arch/arg.h> |
| |
| #define INT8 1 |
| #define INT16 2 |
| #define INT32 4 |
| #define INT64 8 |
| |
| extern int printf(const char *fmt, ...); |
| |
| /* We need this address in spinlock to avoid deadlock in deadlock detection */ |
| extern spinlock_t printflock; |
| |
| #define EOF (-1) |
| |
| extern int puts(const char * str); |
| |
| extern int printf(const char *fmt, ...); |
| extern int sprintf(char *str, const char *fmt, ...); |
| extern int snprintf(char *str, size_t size, const char *fmt, ...); |
| |
| extern int vprintf(const char *fmt, va_list ap); |
| extern int vsprintf(char *str, const char *fmt, va_list ap); |
| extern int vsnprintf(char *str, size_t size, const char *fmt, va_list ap); |
| |
| #endif |