kernel.h revision 6ccc72b8
1