the following patch was just integrated into master:
commit 5da88b005c2b1114d49ba345893f457f44353ff3
Author: Kyösti Mälkki <[email protected]>
Date: Sat Jul 7 17:15:51 2012 +0300
Use dev_lock for alloc_find_dev()
If threads called alloc_find_dev() with same device_path
simultaneously, two device nodes could be allocated.
This bug is not triggered by current code.
Change-Id: Ifc87021c8d6f422901c5de5dd17392e3e2309afa
Signed-off-by: Kyösti Mälkki <[email protected]>
Build-Tested: build bot (Jenkins) at Sat Jul 7 22:46:22 2012, giving +1
See http://review.coreboot.org/1188 for details.
-gerrit
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot
