--- zzzz-none-000/linux-5.4.213/kernel/irq/irqdesc.c	2022-09-15 10:04:56.000000000 +0000
+++ miami-7690-761/linux-5.4.213/kernel/irq/irqdesc.c	2024-05-29 11:20:02.000000000 +0000
@@ -16,6 +16,7 @@
 #include <linux/bitmap.h>
 #include <linux/irqdomain.h>
 #include <linux/sysfs.h>
+#include <avm/profile/profile.h>
 
 #include "internals.h"
 
@@ -643,7 +644,9 @@
 
 	if (!desc)
 		return -EINVAL;
+	avm_simple_profiling_log(avm_profile_data_type_hw_irq_begin, (unsigned long)desc, irq);
 	generic_handle_irq_desc(desc);
+	avm_simple_profiling_log(avm_profile_data_type_hw_irq_end, (unsigned long)desc, irq);
 	return 0;
 }
 EXPORT_SYMBOL_GPL(generic_handle_irq);