On Mon, Aug 24, 2020 at 7:13 AM Madhuparna Bhowmik <madhuparnabhowmi...@gmail.com> wrote: > > Sure, I had a look at it and since you are already working on fixing > this driver, don't think there is a need for a patch to fix the > particular race condition bug. This bug was found by the Linux driver > verification project and my work was to report it to the maintainers.
OK. Thank you for reporting! I think the Linux driver verification project works very well because it can help to find data races. This driver might take a long time to fix because it has many issues, and developers who are interested in it and are able to review patches to it are rare. Xie He
