diff --git a/src/system/kernel/device_manager/io_resources.cpp b/src/system/kernel/device_manager/io_resources.cpp index e91c40d31a..738c2a2947 100644 --- a/src/system/kernel/device_manager/io_resources.cpp +++ b/src/system/kernel/device_manager/io_resources.cpp @@ -89,6 +89,7 @@ io_resource_private::Acquire(const io_resource& resource) // This range is already covered by someone else // TODO: we might want to ignore resources that belong to // a node that isn't used. + _Init(); return B_RESOURCE_UNAVAILABLE; } }