move_irq(irq); 
static void end_level_ioapic_irq (unsigned int irq){	ack_APIC_irq();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/54d5d42404e7705cf3804593189e963350d470e5/io_apic.c/buggy/arch/x86_64/kernel/io_apic.c