kernel.h revision 37fbe0a4
1