Searched refs:tgt_cpuid (Results 1 – 1 of 1) sorted by relevance
202 kmdb_dpi_switch_master(int tgt_cpuid) in kmdb_dpi_switch_master() argument204 if (kmdb_dpi_get_cpu_state(tgt_cpuid) < 0) in kmdb_dpi_switch_master()207 kmdb_dpi_switch_target = tgt_cpuid; in kmdb_dpi_switch_master()