KDB_TSK           182 kernel/debug/kdb/kdb_bt.c 			sprintf(buf, "btt 0x%px\n", KDB_TSK(cpu));
KDB_TSK           189 kernel/debug/kdb/kdb_bt.c 			void *kdb_tsk = KDB_TSK(cpu);
KDB_TSK           194 kernel/debug/kdb/kdb_main.c 	if ((task_thread_info(p)->flags & _TIF_MCA_INIT) && KDB_TSK(cpu))
KDB_TSK          2221 kernel/debug/kdb/kdb_main.c 			if (kdb_task_state_char(KDB_TSK(i)) == 'I')
KDB_TSK          2337 kernel/debug/kdb/kdb_main.c 		if (!KDB_TSK(cpu)) {
KDB_TSK          2340 kernel/debug/kdb/kdb_main.c 			if (KDB_TSK(cpu) != p)
KDB_TSK          2342 kernel/debug/kdb/kdb_main.c 				   "process table (0x%px)\n", KDB_TSK(cpu));
KDB_TSK          2394 kernel/debug/kdb/kdb_main.c 			p = KDB_TSK(kdb_initial_cpu);