kernel.h revision 42a38756
1