kernel.h revision 791fc0bf
1