kernel.h revision 4c8bd7ee
1