kernel.h revision 6ed31e92
1