On Mon, Aug 24, 2020 at 01:49:04PM -0700, Xie He wrote: > On Mon, Aug 24, 2020 at 7:13 AM Madhuparna Bhowmik > <[email protected]> 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. > Yes, indeed!
> 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. > Alright, hope it is fixed soon! Thanks, Madhuparna > Xie He
