kernel.h revision 3eb3c740
1