kernel.h revision 885e68e8
1