kern_util.h 2.12 KB