Rev 2131 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2131 | Rev 2307 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | #include <arch/types.h> |
38 | #include <arch/types.h> |
39 | #include <synch/spinlock.h> |
39 | #include <synch/spinlock.h> |
40 | #include <arch/arg.h> |
40 | #include <arch/arg.h> |
41 | 41 | ||
42 | /* We need this address in spinlock to avoid deadlock in deadlock detection */ |
42 | /* We need this address in spinlock to avoid deadlock in deadlock detection */ |
43 | SPINLOCK_EXTERN(printflock); |
43 | SPINLOCK_EXTERN(printf_lock); |
44 | 44 | ||
45 | #define EOF (-1) |
45 | #define EOF (-1) |
46 | 46 | ||
47 | extern int puts(const char *s); |
47 | extern int puts(const char *s); |
48 | extern int printf(const char *fmt, ...); |
48 | extern int printf(const char *fmt, ...); |