db_startcpu       269 arch/i386/i386/db_interface.c 			db_startcpu(apic);
db_startcpu       275 arch/i386/i386/db_interface.c 				db_startcpu(apic);
db_startcpu       108 arch/i386/include/db_machdep.h void db_startcpu(int cpu);