Searched refs:kmdb_dpi_switch_target (Results 1 – 3 of 3) sorted by relevance
114 if (kmdb_dpi_switch_target == cpusave->krs_cpu_id) in kaif_master_loop()117 kaif_slave_tgt = kaif_master_cpuid = kmdb_dpi_switch_target; in kaif_master_loop()
57 uint_t kmdb_dpi_switch_target = (uint_t)-1; variable207 kmdb_dpi_switch_target = tgt_cpuid; in kmdb_dpi_switch_master()
140 extern uint_t kmdb_dpi_switch_target; /* Driver OK */