kmdb_kdi_deactivate
.dpo_debugger_deactivate = kmdb_kdi_deactivate,
extern void kmdb_kdi_deactivate(void);