kernel.h revision 5eb7c0d0
1