i8042_mutex       144 drivers/input/serio/i8042.c static DEFINE_MUTEX(i8042_mutex);
i8042_mutex       176 drivers/input/serio/i8042.c 	mutex_lock(&i8042_mutex);
i8042_mutex       182 drivers/input/serio/i8042.c 	mutex_unlock(&i8042_mutex);
i8042_mutex      1331 drivers/input/serio/i8042.c 	serio->ps2_cmd_mutex	= &i8042_mutex;
i8042_mutex      1359 drivers/input/serio/i8042.c 	serio->ps2_cmd_mutex	= &i8042_mutex;