Logging method for high execution frequency paths of Linux kernel | IEEE Conference Publication | IEEE Xplore