kdb_current      1187 kernel/debug/kdb/kdb_main.c 	struct task_struct *kdb_current =
kdb_current      1196 kernel/debug/kdb/kdb_main.c 			   kdb_current, kdb_current ? kdb_current->pid : 0);
kdb_current      1212 kernel/debug/kdb/kdb_main.c 				   kdb_current, kdb_current->pid);