kernel.h revision 0c0e6195
1