intel_pt_interrupt 2391 arch/x86/events/intel/core.c 			intel_pt_interrupt();
intel_pt_interrupt 1059 arch/x86/events/perf_event.h void intel_pt_interrupt(void);