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 |