-/* handle a kdebug event */
-void kperf_kdebug_handler(uint32_t debugid, uintptr_t *starting_fp);
+/* for interrupt handler epilogue */
+static inline void
+kperf_interrupt(void)
+{
+ extern unsigned int kperf_lazy_cpu_action;
+ extern void kperf_lazy_cpu_sample(thread_t thread, unsigned int flags,
+ bool interrupt);
+
+ if (__improbable(kperf_lazy_cpu_action != 0)) {
+ kperf_lazy_cpu_sample(current_thread(), 0, true);
+ }
+}