[Bug 1452] Disk device mutex (diskdev_mutex) has no protection against priority inheritance

[bugzilla-daemon at rtems.org]

https://www.rtems.org/bugzilla/show_bug.cgi?id=1452

Sebastian Huber <sebastian.huber at embedded-brains.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX
   Target Milestone|4.10                        |4.11

--- Comment #1 from Sebastian Huber <sebastian.huber at embedded-brains.de> 2013-01-10 08:40:52 CST ---
Leave it as it is.

-- 
Configure bugmail: https://www.rtems.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.