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_QUIET, "disabling APIC mode, entering PIC mode.\n");		outb(0x70, 0x22);		outb(0x00, 0x23);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/208fb93162d51faa69b9774fa7809858d84fd9dc/apic.c/clean/arch/x86_64/kernel/apic.c