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);