#include <linux/notifier.h>
 #include <linux/smp.h>
 #include <asm/processor.h>
-
+#include <linux/kasan.h>
 
 static DEFINE_PER_CPU(struct llist_head, raised_list);
 static DEFINE_PER_CPU(struct llist_head, lazy_list);
        if (!irq_work_claim(work))
                return false;
 
+       /*record irq_work call stack in order to print it in KASAN reports*/
+       kasan_record_aux_stack(work);
+
        /* Queue the entry and raise the IPI if needed. */
        preempt_disable();
        __irq_work_queue_local(work);
        if (!irq_work_claim(work))
                return false;
 
+       kasan_record_aux_stack(work);
+
        preempt_disable();
        if (cpu != smp_processor_id()) {
                /* Arch remote IPI send/receive backend aren't NMI safe */