restore_IO_APIC_setup 1126 arch/x86/kernel/apic_64.c 		restore_IO_APIC_setup();
restore_IO_APIC_setup  513 arch/x86/kernel/io_apic_64.c 	restore_IO_APIC_setup();
restore_IO_APIC_setup  202 include/asm-x86/io_apic.h extern void restore_IO_APIC_setup(void);