kernel.h revision c70ec71d
1