aboutsummaryrefslogtreecommitdiff
path: root/kapi
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-04-06 19:04:16 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-04-06 19:04:16 +0200
commitd5c2e101d62f6b4b69c45c127e7a729d246da566 (patch)
tree0f26687fb172fc1852e9c4d58c351a76e9ceb50c /kapi
parent6f9f070db1c4af517be93cf07c452e65d8cea8cf (diff)
downloadteachos-d5c2e101d62f6b4b69c45c127e7a729d246da566.tar.xz
teachos-d5c2e101d62f6b4b69c45c127e7a729d246da566.zip
kapi/platform: invert discovery dependencies
Diffstat (limited to 'kapi')
-rw-r--r--kapi/include/kapi/platform.hpp7
1 files changed, 2 insertions, 5 deletions
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