kernel.h revision dc72c32e
1