kern_util.h 2.14 KB