Linux kernel bug fix: Input: i8042 - set up shared ps2_cmd_mutex for AUX ports
Subsystem: input (drivers/input/serio/i8042.c)
Bug type: unknown, severity: unknown
Files changed: drivers/input/serio/i8042.c
Introduced by Dmitry Torokhov on 2016-07-27 14:20:09 -0700; fixed by Dmitry Torokhov on 2016-08-19 10:08:49 -0700 (lifetime: 22 days)