kernel.h revision 7fa30315
1