/* On systems with i8259-style interrupt controllers we assume for driver compatibility reasons interrupts 0 - 15 to be the i8259 interrupts even if the hardware uses a different interrupt numbering.  */
void __init init_i8259_irqs(void)
/* On systems with i8259-style interrupt controllers we assume for driver compatibility reasons interrupts 0 - 15 to be the i8259 interrupts even if the hardware uses a different interrupt numbering.  */
void __init init_i8259_irqs(void)
{
	int i;
	insert_resource(&ioport_resource, &pic1_io_resource);
	insert_resource(&ioport_resource, &pic2_io_resource);
	init_8259A(0);
	for (i = I8259A_IRQ_BASE; i < I8259A_IRQ_BASE + 16; i++) {
		set_irq_chip_and_handler(i, &i8259A_chip, handle_level_irq);
		set_irq_probe(i);
	}
	setup_irq(I8259A_IRQ_BASE + PIC_CASCADE_IR, &irq2);
}