kernel.h revision 074e61ec
1