Rename printk() to printf().
[pintos-anon] / src / lib / stdbool.h
1 #ifndef LIB_STDBOOL_H
2 #define LIB_STDBOOL_H
3
4 #define bool    _Bool
5 #define true    1
6 #define false   0
7 #define __bool_true_false_are_defined   1
8
9 #endif /* lib/stdbool.h */