kernel.h revision 088e9d25
1