kernel.h revision 7ef88ad5
1