timer_mutex       139 arch/i386/isa/clock.c struct mutex timer_mutex = MUTEX_INITIALIZER(IPL_HIGH);
timer_mutex       205 arch/i386/isa/clock.c 	mtx_enter(&timer_mutex);
timer_mutex       215 arch/i386/isa/clock.c 	mtx_leave(&timer_mutex);
timer_mutex       315 arch/i386/isa/clock.c 		mtx_enter(&timer_mutex);
timer_mutex       324 arch/i386/isa/clock.c 		mtx_leave(&timer_mutex);
timer_mutex       704 arch/i386/isa/clock.c 	mtx_enter(&timer_mutex);
timer_mutex       710 arch/i386/isa/clock.c 	mtx_leave(&timer_mutex);