diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 13:41:56 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-07-26 13:41:56 +0200 |
| commit | 15d38c630052f43c980bdea60723ce388077437f (patch) | |
| tree | e283de97a8d7fef1698be88d0efc26b085942c48 /kapi | |
| parent | 4cc05543d48a35908b0756e133bd668745bd95c3 (diff) | |
| download | kernel-15d38c630052f43c980bdea60723ce388077437f.tar.xz kernel-15d38c630052f43c980bdea60723ce388077437f.zip | |
kernel: add devfs live-update tests
Diffstat (limited to 'kapi')
| -rw-r--r-- | kapi/kapi/devices.hpp | 6 |
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. |
