kernel.h revision c6de9f08
1