kernel.h revision 67d0a075
1