db_stopcpu        290 arch/i386/i386/db_interface.c 			db_stopcpu(apic);
db_stopcpu        296 arch/i386/i386/db_interface.c 				db_stopcpu(apic);
db_stopcpu        311 arch/i386/i386/db_interface.c 			db_stopcpu(apic);
db_stopcpu        109 arch/i386/include/db_machdep.h void db_stopcpu(int cpu);