disconnect_bsp_APIC
extern void disconnect_bsp_APIC(int virt_wire_setup);
disconnect_bsp_APIC(ioapic_i8259.pin != -1);
disconnect_bsp_APIC(0);