kernel.h revision 3e7d3449
1