diff --git a/src/system/kernel/device_manager/io_resources.c b/src/system/kernel/device_manager/io_resources.c
index ec09f75ad8..cb6a629167 100644
--- a/src/system/kernel/device_manager/io_resources.c
+++ b/src/system/kernel/device_manager/io_resources.c
@@ -321,15 +321,15 @@ static void
 wait_for_resources(void)
 {
 	TRACE(("wait_for_resources()\n"));
-	
+
 	++pnp_resource_wait_count;
 
 	// we have to release while waiting
-	benaphore_lock(&gNodeLock);
-	
-	acquire_sem(pnp_resource_wait_sem);
-	
 	benaphore_unlock(&gNodeLock);
+
+	acquire_sem(pnp_resource_wait_sem);
+
+	benaphore_lock(&gNodeLock);
 }