105 	kmutex_t		ms_mutex;  member
347 	mutex_init(&state->ms_mutex, NULL, MUTEX_DRIVER,  in mouse8042_attach()
399 		mutex_destroy(&state->ms_mutex);  in mouse8042_detach()
458 	mutex_enter(&state->ms_mutex);  in mouse8042_open()
465 			mutex_exit(&state->ms_mutex);  in mouse8042_open()
480 			mutex_exit(&state->ms_mutex);  in mouse8042_open()
502 		mutex_exit(&state->ms_mutex);  in mouse8042_open()
512 		mutex_enter(&state->ms_mutex);  in mouse8042_open()
526 	mutex_exit(&state->ms_mutex);  in mouse8042_open()
576 	mutex_enter(&state->ms_mutex);  in mouse8042_close()
592 	mutex_exit(&state->ms_mutex);  in mouse8042_close()
942 	mutex_enter(&state->ms_mutex);  in mouse8042_intr()
1057 			mutex_exit(&state->ms_mutex);  in mouse8042_intr()
1067 	mutex_exit(&state->ms_mutex);  in mouse8042_intr()