diff --git a/src/system/kernel/device_manager/device_manager.cpp b/src/system/kernel/device_manager/device_manager.cpp
index 90de58c17f..14e7498edd 100644
--- a/src/system/kernel/device_manager/device_manager.cpp
+++ b/src/system/kernel/device_manager/device_manager.cpp
@@ -1956,7 +1956,7 @@ device_node::FindChild(const char* moduleName) const
 
 
 void
-device_node::Dump(int32 level = 0)
+device_node::Dump(int32 level)
 {
 	put_level(level);
 	dprintf("(%ld) @%p \"%s\" (ref %ld, init %ld, module %p, data %p)\n", level,