KMDB_DPI_CMD_SWITCH_CPU
case KMDB_DPI_CMD_SWITCH_CPU:
kmdb_dpi_resume_common(KMDB_DPI_CMD_SWITCH_CPU);