MUTEX_ADAPTIVE
mutex_init(&stmf_worker_sel_mx, NULL, MUTEX_ADAPTIVE, 0);
mutex_init(sip->ippsi_lock, NULL, MUTEX_ADAPTIVE,
mutex_init(debug_mutex, NULL, MUTEX_ADAPTIVE,
mutex_init(&periodics_lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&dpr->dpr_lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&result->ipcs_lock, NULL, MUTEX_ADAPTIVE, NULL);
ASSERT(type != MUTEX_ADAPTIVE && type != MUTEX_DEFAULT);
MUTEX_SET_TYPE(lp, MUTEX_ADAPTIVE);
mutex_init(&vatpic->lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&vatpit->lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&vhpet->lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&vioapic->lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&vlapic->timer_lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&vrtc->lock, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&vcpu->lock, NULL, MUTEX_ADAPTIVE, NULL);
#define MUTEX_TYPE_ADAPTIVE(lp) ((lp)->m_type == MUTEX_ADAPTIVE)
mutex_init(&mi2cv_mutex, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&cherry_pcf8584_mutex, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&chicago_mi2cv_mutex, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&excal_pcf8584_mutex, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&lneck_pcf8584_mutex, NULL, MUTEX_ADAPTIVE, NULL);
mutex_init(&mi2cv_mutex, NULL, MUTEX_ADAPTIVE, NULL);