kdi_system_release
if (mdb.m_kdi->kdi_system_release != NULL) {
(void) kmdb_dpi_call((uintptr_t)mdb.m_kdi->kdi_system_release,
void (*kdi_system_release)(void);
kdi->pkdi_system_release = kdi_system_release;
kdi->pkdi_system_release = kdi_system_release;