kernel.h revision 3fc95772
1