update InterruptMonitor.cpp header