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();