disable_IO_APIC  1689 arch/x86/kernel/io_apic_32.c void disable_IO_APIC(void)
disable_IO_APIC  1426 arch/x86/kernel/io_apic_64.c void disable_IO_APIC(void)