kernel.h revision d4d23add
1