From d5c2e101d62f6b4b69c45c127e7a729d246da566 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 6 Apr 2026 19:04:16 +0200
Subject: kapi/platform: invert discovery dependencies

---
 kapi/include/kapi/platform.hpp | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'kapi')

diff --git a/kapi/include/kapi/platform.hpp b/kapi/include/kapi/platform.hpp
index 6aae795..e1e267e 100644
--- a/kapi/include/kapi/platform.hpp
+++ b/kapi/include/kapi/platform.hpp
@@ -14,8 +14,8 @@ namespace kapi::platform
   //! @addtogroup kapi-platform-kernel-defined
   //! @{
 
-  auto cpu_detected(kapi::devices::bus & bus, std::uint64_t hardware_id, bool is_bsp) -> bool;
-
+  auto cpu_detected(kapi::devices::bus & bus, std::size_t major, std::size_t minor, std::uint64_t hardware_id,
+                    bool is_bsp, kstd::unique_ptr<devices::device> core_interrupt_controller) -> bool;
   //! @}
 
   //! @addtogroup kapi-platform-platform-defined
@@ -27,9 +27,6 @@ namespace kapi::platform
   //! @return true iff. the CPU topology was discovered successfully, false otherwise.
   auto discover_cpu_topology(kapi::devices::bus & bus) -> bool;
 
-  auto create_core_interrupt_controller(std::size_t major, std::size_t minor, std::uint64_t hardware_id)
-      -> kstd::unique_ptr<devices::device>;
-
   //! @}
 
 }  // namespace kapi::platform
-- 
cgit v1.2.3