io_apic_write(0, 0x11+2*pin, *(((int *)&entry)+1)); io_apic_write(0, 0x10+2*pin, *(((int *)&entry)+0)); 
io_apic_write(ioapic_i8259.apic, 0x11+2*ioapic_i8259.pin, *(((int *)&entry)+1)); io_apic_write(ioapic_i8259.apic, 0x10+2*ioapic_i8259.pin, *(((int *)&entry)+0)); 
void disable_IO_APIC(void){	int pin;	/*	 * Clear the IO-APIC before rebooting:	 */	clear_IO_APIC();	/*	 * If the i8259 is routed through an IOAPIC	 * Put that IOAPIC in virtual wire mode	 * so legacy interrupts can be delivered.	 */	pin = find_isa_irq_pin(0, mp_ExtINT);	if (pin != -1) {		struct IO_APIC_route_entry entry;		unsigned long flags;		memset(&entry, 0, sizeof(entry));		entry.mask            = 0; /* Enabled */		entry.trigger         = 0; /* Edge */		entry.irr             = 0;		entry.polarity        = 0; /* High */		entry.delivery_status = 0;		entry.dest_mode       = 0; /* Physical */		entry.delivery_mode   = 7; /* ExtInt */		entry.vector          = 0;		entry.dest.physical.physical_dest = 0;		/*		 * Add it to the IO-APIC irq-routing table:		 */		spin_lock_irqsave(&ioapic_lock, flags);		io_apic_write(0, 0x11+2*pin, *(((int *)&entry)+1));		io_apic_write(0, 0x10+2*pin, *(((int *)&entry)+0));		spin_unlock_irqrestore(&ioapic_lock, flags);	}	disconnect_bsp_APIC(pin != -1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fcfd636a728fe2b8fb8c8fd8c557302059580577/io_apic.c/clean/arch/i386/kernel/io_apic.c