kernel.h revision c7ff0d9c
1