kernel.h revision 3fff4c42
1