Generated on 22 Oct 2012 for Deadlock Resilient Mutex by  doxygen 1.6.1