kernel.h revision 8607c1ee
1