Подробности
[В начало]
Проблема в реализации № L0048
Краткое описание
staging: go7007: мьютекс может остаться захваченным в [read|write]_reg_fp
Подробное описание
Если go7007_usb_vendor_request() завершается с ошибкой в write_reg_fp() или в read_reg_fp(), то мьютекс usb->i2c_lock останется захваченным.
Компонент
linux-kernel 3.4
Ссылки
Найдено с помощью инструмента верификации CPAchecker.
Принято
https://lkml.org/lkml/2012/2/13/201
commit
Статус
Исправлено в kernel 3.5-rc5
[В начало]
»