kernel.h revision 37665343
1