kern_util.h 4.21 KB