return AE_OK;
}
+ #ifdef CONFIG_ACPI_CUSTOM_DSDT_INITRD
+ int __init acpi_no_initrd_override_setup(char *s)
+ {
+ acpi_no_initrd_override = 1;
+ return 1;
+ }
+ __setup("acpi_no_initrd_override", acpi_no_initrd_override_setup);
+ #endif
+
static irqreturn_t acpi_irq(int irq, void *dev_id)
{
- return (*acpi_irq_handler) (acpi_irq_context) ? IRQ_HANDLED : IRQ_NONE;
+ u32 handled;
+
+ handled = (*acpi_irq_handler) (acpi_irq_context);
+
+ if (handled) {
+ acpi_irq_handled++;
+ return IRQ_HANDLED;
+ } else
+ return IRQ_NONE;
}
acpi_status