kernel.h revision 8f9fab48
1