From b99b79d8080cc1491f96069677d9ce0b7775a4f0 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Wed, 9 Sep 2026 23:02:20 +0200
Subject: chore: replace some naked pointers

The coding guidelines explicitly prohibit the use of "naked"/C-style
pointers. However, there were some prominent examples in the kapi and
the core kernel source. This changeset replaces them with the
appropriate smart pointer types.
---
 kernel/kapi/devices/driver.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'kernel/kapi/devices/driver.cpp')

diff --git a/kernel/kapi/devices/driver.cpp b/kernel/kapi/devices/driver.cpp
index 5ca92dc8..0f103cbc 100644
--- a/kernel/kapi/devices/driver.cpp
+++ b/kernel/kapi/devices/driver.cpp
@@ -1,6 +1,7 @@
 #include <kapi/capabilities/facet_id.hpp>
 #include <kapi/devices.hpp>
 
+#include <kstd/memory.hpp>
 #include <kstd/result.hpp>
 
 #include <cstdint>
@@ -29,7 +30,7 @@ namespace kapi::devices
     return kstd::success();
   }
 
-  auto driver::query_facet(kapi::capabilities::facet_id) -> void *
+  auto driver::query_facet(kapi::capabilities::facet_id) -> kstd::observer_ptr<void>
   {
     return nullptr;
   }
-- 
cgit v1.2.3