kern_util.h 4.46 KB