dbg_switch_cpu     94 kernel/debug/debug_core.c int dbg_switch_cpu;
dbg_switch_cpu    696 kernel/debug/debug_core.c 			kgdb_info[dbg_switch_cpu].exception_state |=
dbg_switch_cpu     64 kernel/debug/debug_core.h extern int dbg_switch_cpu;
dbg_switch_cpu   2275 kernel/debug/kdb/kdb_main.c 	dbg_switch_cpu = cpunum;