kernel.h revision a0fe2c64
1