kernel.h revision ced9cd40
1