Profiling interrupt handler performance through kernel instrumentation | IEEE Conference Publication | IEEE Xplore