kernel.h revision 33ee3b2e
1