check_timer(); 
void __init setup_IO_APIC(void){	enable_IO_APIC();	if (acpi_ioapic)		io_apic_irqs = ~0;	/* all IRQs go through IOAPIC */	else		io_apic_irqs = ~PIC_IRQS;	printk("ENABLING IO-APIC IRQs\n");	/*	 * Set up IO-APIC IRQ routing.	 */	if (!acpi_ioapic)		setup_ioapic_ids_from_mpc();	sync_Arb_IDs();	setup_IO_APIC_irqs();	init_IO_APIC_traps();	check_timer();	if (!acpi_ioapic)		print_IO_APIC();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f2b36db692b7ff6972320ad9839ae656a3b0ee3e/io_apic.c/buggy/arch/i386/kernel/io_apic.c