17 #include <linux/module.h>
18 #include <linux/random.h>
23 #ifdef CONFIG_HARDIRQS_SW_RESEND
31 static void resend_irqs(
unsigned long arg)
36 while (!bitmap_empty(irqs_resend,
nr_irqs)) {
64 if (irq_settings_is_level(desc)) {
74 if (!desc->
irq_data.chip->irq_retrigger ||
76 #ifdef CONFIG_HARDIRQS_SW_RESEND
79 tasklet_schedule(&resend_tasklet);