shadow_pid       1043 kernel/kgdb.c  		ks->threadid = shadow_pid(current->pid);
shadow_pid       1235 kernel/kgdb.c  		int_to_threadref(thref, shadow_pid(current->pid));
shadow_pid       1242 kernel/kgdb.c  	ks->kgdb_usethreadid = shadow_pid(kgdb_info[ks->cpu].task->pid);