kernel.h revision 6c03438e
1