Lines Matching defs:timecounter_lock
164 kmutex_t timecounter_lock;
189 KDASSERT(mutex_owned(&timecounter_lock));
302 mutex_spin_enter(&timecounter_lock);
315 mutex_spin_exit(&timecounter_lock);
334 mutex_spin_enter(&timecounter_lock);
351 mutex_spin_exit(&timecounter_lock);
353 mutex_spin_enter(&timecounter_lock);
363 mutex_spin_exit(&timecounter_lock);
731 mutex_spin_enter(&timecounter_lock);
748 mutex_spin_exit(&timecounter_lock);
759 KASSERT(mutex_owned(&timecounter_lock));
799 mutex_spin_enter(&timecounter_lock);
807 mutex_spin_exit(&timecounter_lock);
819 mutex_spin_exit(&timecounter_lock);
885 mutex_spin_enter(&timecounter_lock);
897 mutex_spin_exit(&timecounter_lock);
923 KASSERT(mutex_owned(&timecounter_lock));
1074 KASSERT(mutex_owned(&timecounter_lock));
1122 KASSERT(mutex_owned(&timecounter_lock));
1139 KASSERT(mutex_owned(&timecounter_lock));
1214 KASSERT(mutex_owned(&timecounter_lock));
1503 mutex_spin_enter(&timecounter_lock);
1512 mutex_spin_exit(&timecounter_lock);
1520 mutex_init(&timecounter_lock, MUTEX_DEFAULT, IPL_HIGH);