Searched refs:kdb_initial_cpu (Results 1 – 1 of 1) sorted by relevance
67 int kdb_initial_cpu = -1; /* cpu number that owns kdb */ variable1328 text, raw_smp_processor_id(), value, kdb_initial_cpu, in kdb_print_state()1760 if (raw_smp_processor_id() != kdb_initial_cpu) { in kdb_go()1763 kdb_initial_cpu); in kdb_go()2273 p = KDB_TSK(kdb_initial_cpu); in kdb_pid()