print_IO_APICs 198 arch/x86/include/asm/io_apic.h extern void print_IO_APICs(void); print_IO_APICs 1250 arch/x86/kernel/apic/vector.c print_IO_APICs();