kern_util.h revision 2efea7df
1