kgdb_usethreadid   27 kernel/debug/debug_core.h 	long			kgdb_usethreadid;
kgdb_usethreadid  814 kernel/debug/gdbstub.c 		ks->kgdb_usethreadid = ks->threadid;
kgdb_usethreadid  952 kernel/debug/gdbstub.c 	ks->kgdb_usethreadid = shadow_pid(kgdb_info[ks->cpu].task->pid);