kernel.h revision 90378889
1