diff --git a/src/kernel/core/device_manager/device_manager.c b/src/kernel/core/device_manager/device_manager.c
index b14b63d3d1..9450b8b253 100644
--- a/src/kernel/core/device_manager/device_manager.c
+++ b/src/kernel/core/device_manager/device_manager.c
@@ -25,7 +25,6 @@
 #endif
 
 
-benaphore node_lock;
 pnp_node_info *node_list;
 
 bool disable_useraddons;