kern_util.h 2.17 KB