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