kernel.h revision 7ee8809d
1