Searched refs:kmdb_dpi_get_cpu_state (Results 1 – 4 of 4) sorted by relevance
153 int state = kmdb_dpi_get_cpu_state(cpuid); in kdi_halt_cpu()182 int state = kmdb_dpi_get_cpu_state(cpuid); in kdi_report_unhalted()
90 if (kmdb_dpi_get_cpu_state(cpuid) < 0) { in kmt_stack_iter()
138 kmdb_dpi_get_cpu_state(int cpuid) in kmdb_dpi_get_cpu_state() function204 if (kmdb_dpi_get_cpu_state(tgt_cpuid) < 0) in kmdb_dpi_switch_master()
99 extern int kmdb_dpi_get_cpu_state(int);