/* Note that this means that we may have to do a hardware "local_op" to a different interrupt than we report to the rest of the world.  */
static unsigned int jensen_local_startup(unsigned int irq)
/* Note that this means that we may have to do a hardware "local_op" to a different interrupt than we report to the rest of the world.  */
static unsigned int jensen_local_startup(unsigned int irq)
{
	if (irq == 7)
		i8259a_startup_irq(1);
	else
		if (irq_desc[irq].action)
			irq_desc[irq].action->flags |= IRQF_DISABLED;
	return 0;
}