aboutsummaryrefslogtreecommitdiff
path: root/kapi
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-07-26 13:41:56 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-07-26 13:41:56 +0200
commit15d38c630052f43c980bdea60723ce388077437f (patch)
treee283de97a8d7fef1698be88d0efc26b085942c48 /kapi
parent4cc05543d48a35908b0756e133bd668745bd95c3 (diff)
downloadkernel-15d38c630052f43c980bdea60723ce388077437f.tar.xz
kernel-15d38c630052f43c980bdea60723ce388077437f.zip
kernel: add devfs live-update tests
Diffstat (limited to 'kapi')
-rw-r--r--kapi/kapi/devices.hpp6
1 files changed, 6 insertions, 0 deletions
diff --git a/kapi/kapi/devices.hpp b/kapi/kapi/devices.hpp
index 59fcc568..124cd2bb 100644
--- a/kapi/kapi/devices.hpp
+++ b/kapi/kapi/devices.hpp
@@ -34,6 +34,12 @@ namespace kapi::devices
//! @return a shared pointer to the root bus.
auto get_root_bus() -> kstd::shared_ptr<bus>;
+ //! Remove a device from the device tree.
+ //!
+ //! @param device The device to remove.
+ //! @return true iff. the device had a parent an was remove, false otherwise.
+ auto remove_device(device & device) -> bool;
+
//! Publish the fact that a device supports a specific facet.
//!
//! @tparam Facet The facet type provided by the device.