kernel/devfs: populate devfs via the device_number_registry

1 files changed, 3 insertions, 3 deletions

diff --git a/kernel/kernel/filesystem/devfs/filesystem.cpp b/kernel/kernel/filesystem/devfs/filesystem.cpp
index e7aff5f3..5003dde6 100644
--- a/kernel/kernel/filesystem/devfs/filesystem.cpp
+++ b/kernel/kernel/filesystem/devfs/filesystem.cpp
@@ -2,6 +2,7 @@
 
 #include <kernel/filesystem/devfs/inode.hpp>
 #include <kernel/filesystem/device_inode.hpp>
+#include <kernel/filesystem/device_number_registry.hpp>
 #include <kernel/filesystem/error.hpp>
 #include <kernel/filesystem/filesystem.hpp>
 #include <kernel/filesystem/inode.hpp>
@@ -9,7 +10,6 @@
 #include <kernel/filesystem/vfs_types.hpp>
 
 #include <kapi/devices.hpp>
-#include <kapi/devices/device.hpp>
 
 #include <kstd/memory.hpp>
 #include <kstd/result.hpp>
@@ -94,9 +94,9 @@ namespace kernel::filesystem::devfs
   {
     m_inodes.clear();
 
-    for (auto const & entry : kapi::devices::interface_registry::get().all(kapi::devices::block_device::id))
+    for (auto const & entry : device_number_registry::get().all())
     {
-      if (auto device = entry.device().lock())
+      if (auto device = entry.device.lock())
       {
         m_inodes.push_back(kstd::make_shared<device_inode>(device));
       }