kernel.h revision 3cd39bc3
1