kernel.h revision 5375b708
1