void disconnect_bsp_APIC(void) 
void disconnect_bsp_APIC(int virt_wire_setup) 
void disconnect_bsp_APIC(void){	if (pic_mode) {		/*		 * Put the board back into PIC mode (has an effect		 * only on certain older boards).  Note that APIC		 * interrupts, including IPIs, won't work beyond		 * this point!  The only exception are INIT IPIs.		 */		apic_printk(APIC_VERBOSE, "disabling APIC mode, "				"entering PIC mode.\n");		outb(0x70, 0x22);		outb(0x00, 0x23);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/650927ef8ab1e9b05b77a3f32ca7adcedaae9306/apic.c/buggy/arch/i386/kernel/apic.c