kernel.h revision 9d00f92f
1