db_switch_to_cpu   67 arch/i386/i386/db_interface.c long		 db_switch_to_cpu;
db_switch_to_cpu  312 arch/i386/i386/db_interface.c 			db_switch_to_cpu = apic;
db_switch_to_cpu   33 arch/i386/i386/db_mp.c extern volatile long		db_switch_to_cpu;
db_switch_to_cpu   83 arch/i386/i386/db_mp.c 		ddb_active_cpu = db_switch_to_cpu;
db_switch_to_cpu   84 arch/i386/i386/db_mp.c 		cpu_info[db_switch_to_cpu]->ci_ddb_paused = CI_DDB_ENTERDDB;