Searched refs:kmdb_dpi_switch_master (Results 1 – 3 of 3) sorted by relevance
146 extern int kmdb_dpi_switch_master(int);
202 kmdb_dpi_switch_master(int tgt_cpuid) in kmdb_dpi_switch_master() function
607 if (kmdb_dpi_switch_master((int)addr) < 0) { in kmt_switch()