/* there is a 'master' physical interrupt source that gets sent to the CPU. But in the chipset there are various 'virtual' interrupts waiting to be handled. We represent this to Linux through a 'master' interrupt controller type, and through a special virtual interrupt- controller. Device drivers only see the virtual interrupt sources.  */
static unsigned int startup_piix4_master_irq(unsigned int irq)
/* there is a 'master' physical interrupt source that gets sent to the CPU. But in the chipset there are various 'virtual' interrupts waiting to be handled. We represent this to Linux through a 'master' interrupt controller type, and through a special virtual interrupt- controller. Device drivers only see the virtual interrupt sources.  */
static unsigned int startup_piix4_master_irq(unsigned int irq)
{
	init_8259A(0);
	return startup_cobalt_irq(irq);
}