From 3c47ce8421df03bf27f3e26238f9ec8637779525 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Duval?= <jerome.duval@gmail.com>
Date: Tue, 2 Jul 2013 19:00:43 +0200
Subject: [PATCH] DMAResource: mutex_lock() before calling mutex_destroy().

---
 src/system/kernel/device_manager/dma_resources.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/system/kernel/device_manager/dma_resources.cpp b/src/system/kernel/device_manager/dma_resources.cpp
index af5e130856..2d7ed5f40b 100644
--- a/src/system/kernel/device_manager/dma_resources.cpp
+++ b/src/system/kernel/device_manager/dma_resources.cpp
@@ -101,6 +101,7 @@ DMAResource::DMAResource()
 
 DMAResource::~DMAResource()
 {
+	mutex_lock(&fLock);
 	mutex_destroy(&fLock);
 	free(fScratchVecs);