/kernel/trunk/generic/include/print.h |
---|
30,6 → 30,7 |
#define __PRINT_H__ |
#include <arch/types.h> |
#include <synch/spinlock.h> |
#define INT8 1 |
#define INT16 2 |
38,4 → 39,7 |
extern void printf(const char *fmt, ...); |
/* We need this address in spinlock to avoid deadlock in deadlock detection */ |
extern spinlock_t printflock; |
#endif |